#include<fstream.h>
int n,sw;
unsigned long v[102],a[10],s,sc;
void cit()
{
	ifstream fin("loto.in");
	fin>>n>>s;
	for(int i=1;i<=n;i++)
		fin>>v[i];
	fin.close();
}
void afis()
{
	ofstream fout("loto.out");
	for(int i=1;i<=6;i++)
		fout<<a[i]<<" ";
	fout<<'\n';
	fout.close();
}
void back(int k)
{
	int i;
	if(sw==0)
		if(k==7)
		{
			if(sc==s)
			{
				afis();
				sw=1;
			}
		}
		else
			for(i=1;i<=n;i++)
				if(sc+v[i]<=s)
				{
					sc+=v[i]; 
					a[k]=v[i];
					back(k+1);
					sc-=v[i];
				}
}
int main()
{
	cit();
	if(n<6)
	{
		ofstream fout("loto.out");
		fout<<-1<<'\n';
		fout.close();
	}
	else
	{
	sc=0; sw=0;
	back(1);
	if(sw==0)
	{
		ofstream fout("loto.out");
		fout<<-1<<'\n';
		fout.close();
	}
	}
	return 0;
}