#include <fstream>
#include<stdio.h>
#include <vector>
#define rest 666013
FILE*g;
using namespace std;

vector <long> hash[rest+3];
long maxim;
long long A[100];
int n;


void insert (long long x)
{
    int i,k;
    k=x%rest;
    if (k>maxim) maxim=k;
    for(i=0;i<hash[k].size();i++)
       {
           if (hash[k][i]==x) return;
       }
    hash[k].push_back(x);
}
int verif(long x)
{
    int i,k;
    k=x%rest;
    for(i=0;i<hash[k].size();i++)
       {
           if (hash[k][i]==x) return 1;
       }
    return 0;
}

int dif(long s)
{

    int i,k,j;
    long  x;
    k=s%rest;
    for(i=0;i<=maxim;i++)
       {
          for(j=0;j<hash[i].size();j++)
            {
                x=s-hash[i][j];
                if(verif(x)) return hash[i][j];
            }
       }
    return -1;
}
void numere(long x)
{
    int i,j,k,ok=0;
    for(i=1;i<=n && ok==0;i++)
        for(j=1;j<=n && ok==0;j++)
            for(k=1;k<=n && ok==0;k++)
                if ((A[i]+A[j]+A[k])==x) {fprintf(g,"%lld %lld %lld ",A[i],A[j],A[k]); ok=1;}

}
int main()

{
    FILE*f;
    f=fopen("loto.in","r");
    g=fopen("loto.out","w");

    long long x;
    long i,j,k,s,suma;
    fscanf(f,"%d",&n);
    fscanf(f,"%ld",&s);
    for(i=1;i<=n;i++)
        fscanf(f,"%lld",&A[i]);
    for(i=1;i<=n;i++)
        for(j=1;j<=n;j++)
            for(k=1;k<=n;k++)
                insert (A[i]+A[j]+A[k]);
    suma=dif(s);
    if (suma==-1) printf("-1");
        else {numere(suma);
    numere(s-suma);}


        return 0;
}