#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 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];
   if(su>s1){

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

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

	      for(m=n;m>=1&&ok;m--){
	      s4=s3+v[m];
	      if(su>s4){
		  for(y=n;y>=1&&ok;y--){
		  s5=s4+v[y];
		    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;
}