#include <bits/stdc++.h>
using namespace std;
ifstream in("loto.in");
ofstream out("loto.out");
short n,i,j,k,l,p,q,w;
int s,x,v[601],s1;
int main()
{
    in>>n>>s;
    for(i=1; i<=n; ++i)
    {
        in>>x;
        for(j=1; j<=6; ++j)
            v[++k]=x;
    }
    for(i=1; i<=k-5; ++i)
        for(j=i+1; j<=k-4; ++j)
            for(l=j+1; l<=k-3; ++l)
                for(p=l+1; p<=k-2; ++p)
                    for(q=p+1; q<=k-1; ++q)
                        for(w=q+1; w<=k; ++w)
                        {
                            s1=v[i]+v[j]+v[l]+v[p]+v[q]+v[w];
                            if(s1==s)
                            {
                                out<<v[i]<<" "<<v[j]<<" "<<v[l]<<" "<<v[p]<<" "<<v[q]<<" "<<v[w];
                                return 0;
                            }
                        }
    out<<-1;
}