#include<stdio.h>
int s1,s2,s3,s4,s5,v[1001],i,su,n,a,m,j,y,k;

int main(){

FILE *f=fopen("loto.in","r");

fscanf(f,"%d",&n);
fscanf(f,"%d",&su);


for(i=1;i<=n;i++){
fscanf(f,"%d",&v[i]);
}
fclose(f);

int aux;
aux=n;
while(aux!=1){
  for(j=2;j<=aux;j++){
   if(v[i]>v[j]){
   k=v[i];
   v[i]=v[j];
   v[j]=k;
   }

  }
i=1;
aux--;
}


int ok=1;

FILE *g=fopen("loto.out","w");

for(i=n;i>=1&&ok;i--){

   for(j=n;j>=1&&ok;j--){
   s1=v[i]+v[j];


       for(k=n;k>=1&&ok;k--){
       s2=s1+v[k];
       if(su<s1+v[1])break;

	  for(a=n;a>=1&&ok;a--){
	  s3=s2+v[a];
	  if(su<s2+v[1])break;

	      for(m=n;m>=1&&ok;m--){
	      s4=s3+v[m];
	      if(su<s3+v[1])break;

		  for(y=n;y>=1&&ok;y--){
		  s5=s4+v[y];
		  if(s5<su)break;

		    if(s5==su){ok=0;fprintf(g,"%d %d %d %d %d %d",v[i],v[j],v[k],v[a],v[m],v[y]);break;}

		  }



	      }

	  }

       }

    }
}


if(s5!=su){
fprintf(g,"%d",-1);
}
fclose(g);

return 0;
}