#include <stdio.h>
#include <stdlib.h>
int v[10000];
int main()
{
    FILE *fin, *fout;

    int n,s,st,i,a1,a2,a3,a4,a5,a6,nr1,nr2,nr3,nr4,nr5,nr6;

    fin=fopen("loto.in" , "r" );
    fout=fopen("loto.out" , "w" );
    fscanf(fin, "%d%d" , &n,&s);
    st=1;
    for(i=1;i<=n;i++)
        fscanf(fin, "%d" , &v[i]);
    for(nr1=1;nr1<=n;nr1++){
        for(nr2=1;nr2<=n;nr2++){
            for(nr3=1;nr3<=n;nr3++){
                for(nr4=1;nr4<=n;nr4++){
                    for(nr5=1;nr5<=n;nr5++){
                        for(nr6=1;nr6<=n;nr6++){
                            if(v[nr1]+v[nr2]+v[nr3]+v[nr4]+v[nr5]+v[nr6]==s){
                                a1=nr1;
                                a2=nr2;
                                a3=nr3;
                                a4=nr4;
                                a5=nr5;
                                a6=nr6;
                                st=0;
                        }
                    }
                }
            }
        }
     }
    }
    if(st==0)
        fprintf(fout, "%d %d %d %d %d %d" ,v[a1],v[a2],v[a3],v[a4],v[a5],v[a6] );
    else
        fprintf(fout, "-1");

    fclose(fin);
    fclose(fout);
    return 0;

}