#include <stdio.h>
long n,s,b[128],ss;
long (*a)[4]=new long[350000][4];
int main(void)
{
    long i,j,k,l,x,y;
    FILE *f;
    f=fopen("loto.in","rt");
    fscanf(f,"%ld %ld",&n,&s);
    for(i=0;i<n;i++)
                    fscanf(f,"%ld",&b[i]);
    l=0;
    fclose(f);
    f=fopen("loto.out","wt");
    for(i=0;i<n;i++){
                     
                    for(j=i;j<n;j++){
                                     ss=b[i]+b[j];
                                    for(k=j;k<n;k++)
                                                    {
                                                        a[l][0]=ss+b[k];
                                                        a[l][1]=i;
                                                        a[l][2]=j;
                                                        a[l++][3]=k;
                                                        }}}
    k=1;
    for(i=0;(i<l)&&k;i++)
    {
                         ss=s-a[i][0];
                    for(j=i;(j<l)&&k&&(a[j][0]<=ss);j++)
                                    if(ss==a[j][0])
                                                      k=0;
                                                      }
    
    i--;j--;
    if(k)
    {
            fprintf(f,"-1");
            fclose(f);
            return 0;
            }
    fprintf(f,"%ld %ld %ld %ld %ld %ld",b[a[i][1]],b[a[i][2]],b[a[i][3]],b[a[j][1]],b[a[j][2]],b[a[j][3]]);
    fclose(f);
    
    return 0;
}