#include<fstream.h>


long int nr[110], total;
int n;



int main()
{
ifstream in("loto.in");
ofstream out("loto.out");
in>>n>>total;
int i;
for (i=1;i<=n;i++)
	in>>nr[i];
int j;
long int aux;
for (i=1;i<n;i++)
	for (j=i+1;j<=n;j++)
		if (nr[i]>nr[j])
		{
		aux=nr[i];
		nr[i]=nr[j];
		nr[j]=aux;
		}
if (nr[n]*6<total)
	out<<-1;
else
	out<<"1 1 1 1 1 1";

return 0;
}