#include <stdio.h>
FILE *f=fopen("loto.in","r");
FILE *g=fopen("loto.out","w");
unsigned long v[101],s,n;
void date(){
	fscanf(f,"%d %ld",&n,&s);
	for(int i=1;i<=n;i++)fscanf(f,"%ld",v+i);
}
int main(){int ok=1;
	date();
	for(int i=1;i<=n && ok;i++){
	for(int j=1;j<=n && ok;j++){
	for(int k=1;k<=n && ok;k++){
	for(int l=1;l<=n && ok;l++){
	for(int m=1;m<=n && ok;m++){
	for(int p=1;p<=n && ok;p++){
	if(v[i]+v[j]+v[k]+v[l]+v[m]+v[p]==s){
	fprintf(g,"%ld %ld %ld %ld %ld %ld",v[i],v[j],v[k],v[l],v[m],v[p]);
	ok=0;
	}
	}
	}
	}
	}
	}
	}
	if(ok) fprintf(g,"-1");
	return 0;
}