#include<stdio.h>
FILE *in=fopen("loto.in","r");
FILE *out=fopen("loto.out","w");
long s,v[110],max;
int n,i,j,k,l,m,o,ok;
int main()
{
fscanf(in,"%d%ld",&n,&s);
for(i=1;i<=n;i++) fscanf(in,"%ld",&v[i]);
max=v[1];
for(i=2;i<=n;i++) if(v[i]>max) max=v[i];
if(max*6<s) fprintf(out,"-1");
else	if(max*6==s) fprintf(out,"%ld %ld %ld %ld %ld %ld",max,max,max,max,max,max);
	else
		{
		ok=1;
		for(i=1;i<=n&&ok==1;i++)
		for(j=1;j<=n&&ok==1;j++)
		for(k=1;k<=n&&ok==1;k++)
		for(l=1;l<=n&&ok==1;l++)
		for(m=1;m<=n&&ok==1;m++)
		for(o=1;o<=n&&ok==1;o++)
		if(v[i]+v[j]+v[k]+v[l]+v[m]+v[o]==s)
			{
			fprintf(out,"%ld %ld %ld %ld %ld %ld",v[i],v[j],v[k],v[l],v[m],v[o]);
			}
		}
fcloseall();
return 0;
}