#include <fstream>
#include <iostream>
using namespace std;
int n;
long s,v[100];

void read()
{
	int i;
	ifstream inFile("loto.in");
	inFile >> n >> s;
	for (i=0; i<n; i++)
		inFile >> v[i];
	inFile.close();
}

void fix_and_type()
{
	int i,j,k,l,m,o,r=0;
	for(i=0; i<=n; i++)
		for(j=0; j<=n; j++)
			for(k=0; k<=n; k++)
				for(l=0; l<=n; l++)
					for(m=0; m<=n; m++)
						for(o=0; o<=n; o++)
							if (v[i]+v[j]+v[k]+v[l]+v[m]+v[n]==s)
							{
								ofstream outFile("loto.out");
								outFile << v[i] << " " << v[j] << " " << v[k] << " " << v[l] << " " << v[m] << " " << v[o] << "\n";
								outFile.close();
								r=1;
							}
	if (r==0)
	{
		ofstream outFile("loto.out");
		outFile << -1 << "\n";
		outFile.close();
	}
}

int main()
{
	read();
	fix_and_type();
	return 0;
}