#include<stdio.h>
FILE *in=fopen("loto.in","r");
FILE *out=fopen("loto.out","w");
long i,s,v[110],max;
int n;
int main()
{
fscanf(in,"%d%ld",&n,&s);
for(i=1;i<=n;i++) fscanf(in,"%d",&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,"%d %d %d %d %d %d",max,max,max,max,max,max);
	else
		{
		i=i;
		}

return 0;
}