#include<stdio.h>
main()
{
FILE *f=fopen("loto.in","r"),*g=fopen("loto.out","w");
int N,S,V[110];
int i,valid=0;;

  fscanf(f,"%d %d",&N,&S);
  for(i=1;i<=N;i++)
     fscanf(f,"%d",&V[i]);

int j,k,l,m,n;
  for(i=1;((i<=N)&&(valid==0));i++)
      for(j=1;((j<=N)&&(valid==0));j++)
	 for(k=1;((k<=N)&&(valid==0));k++)
	     for(l=1;((l<=N)&&(valid==0));l++)
		 for(m=1;((m<=N)&&(valid==0));m++)
		     for(n=1;((n<=N)&&(valid==0));n++)
			if (V[i]+V[j]+V[k]+V[l]+V[m]+V[n]==S)
			   {fprintf(g,"%d %d %d %d %d %d\n",V[i],V[j],V[k],V[l],V[m],V[n]);fclose(g);valid=1;}
 fprintf(g,"-1\n");
 fclose(f);
 fclose(g);
 return 0;
}