#include<bits/stdc++.h>
using namespace std;
ifstream F("loto.in");
ofstream G("loto.out");
struct S {
    int t,x,y,z;
};
int n,i,j,k,s,v[100],e,q;
S r[1000000];
int C(S a,S b)
{
    return a.t<b.t;
}
int main()
{
	for(F>>n>>s;i<n;F>>v[i++]);
	for(i=0;i<n;++i)
        for(j=i;j<n;++j)
            for(k=j;k<n;++k)
                r[e].t=v[i]+v[j]+v[k],r[e].x=v[i],r[e].y=v[j],r[e++].z=v[k];
	for(sort(r,r+e,C),q=1;q<e;q<<=1);
	for(i=0;i<e;++i) {
     	if(s<=r[i].t)
           	break;
     	for(j=0,k=q;k;k>>=1)
            if(k+j<e) {
                if(r[j+k].t<s-r[i].t)
                    j+=k;
                else if(r[j+k].t==s-r[i].t) {
                    G<<r[i].x<<" "<<r[i].y<<" "<<r[i].z<<" "<<r[j+k].x<<" "<<r[j+k].y<<" "<<r[j+k].z;
                    return 0;
                }
            }
	}
	G<<-1;
    return 0;
}