#include<stdio.h>
long i,j,k,n,S,nr;
long a[101],p1[1000000],p2[1000000],p3[1000000],s[1000000],ind[1000000];
long poz(long li, long ls)
{
long i=li,j=ls,t=0,aux;
while(i<j)
	{
	if(s[ind[i]]>s[ind[j]])
		{
		aux=ind[i];
		ind[i]=ind[j];
		ind[j]=aux;
		t=1-t;
		}
	if(t)
	i++;
	else
	j--;
	}
return i;
}
void qsort(long li,long ls)
{
long k;
if(li<ls)
	{
	k=poz(li,ls);
	qsort(li,k-1);
	qsort(k+1,ls);
	}
}
int main(void)
{
	freopen("loto.in","r",stdin);
	freopen("loto.out","w",stdout);
	scanf("%ld%ld",&n,&S);
	for(i=1;i<=n;i++)
	scanf("%ld",&a[i]);
	for(i=1;i<=n;i++)
		for(j=i;j<=n;j++)
			for(k=j;k<=n;k++)
			{
			nr++;
			ind[nr]=nr;
			s[nr]=a[i]+a[j]+a[k];
			p1[nr]=i;
			p2[nr]=j;
			p3[nr]=k;
			}
	qsort(1,nr);
	j=nr;
	for(i=1;i<=nr;i++)
		{
		while(s[ind[j]]+s[ind[i]]>S&&j>0)
			j--;
		if(j==0)
		 break;
		else
		 if(s[ind[i]]+s[ind[j]]==S)
		 {
		 printf("%ld %ld %ld ",a[p1[ind[i]]],a[p2[ind[i]]],a[p3[ind[i]]]);
		 printf("%ld %ld %ld\n",a[p1[ind[j]]],a[p2[ind[j]]],a[p3[ind[j]]]);
		 return 0;
		 }
		}
   printf("-1\n");
   return 0;
}