#include<stdio.h>
FILE *f,*g;
int v[101],b[6],s,n,st;
void gen(int x, int p,int h)
{
	register int i;
	if(st==1)
		return;
	b[h]=x;
	p+=x;
	if(h==5)
	{
		if(p==s)
		{
			st=1;
			for(i=0;i<6;++i)
				fprintf(g,"%d ",b[i]);
		}
	}
	else 
	{
		if(p<s)
			for(i=0;i<n;++i)
				gen(v[i],p,h+1);
		else return;
	}
}
int main()
{
	f=fopen("loto.in","r");
	g=fopen("loto.out","w");
	fscanf(f,"%d %d",&n, &s);
	register int i;
	for(i=0;i<n;++i)
		fscanf(f,"%d",&v[i]);
	for(i=0;i<n;++i)
		if(v[i]<s)
			gen(v[i],0,0);
	if(st==0)
		fprintf(g,"-1");
	fclose(f);
	fclose(g);
}