#include<stdio.h>
using namespace std;
FILE*in=fopen("loto.in","r");
FILE*out=fopen("loto.out","w");
int n,i,j,ok;
long s,max,min=600000001,diferenta,v[101],rezultat[7];
int main()
{
fscanf(in,"%d%ld",&n,&s);
    for(i=0;i<n;i++)
        {
            fscanf(in,"%ld",&v[i]);
            if(v[i]>max)
                max=v[i];
            if(v[i]<min)
                min=v[i];
        }
    if(6*max<s||6*max<5)
    fprintf(out,"-1");
    else
    {
        for(i=0;i<6;i++)
        rezultat[i]=max;
        diferenta=6*max-s;
            for(i=0;i<6;i++)
                if(diferenta-(max-min)>0)
                {
                rezultat[i]=min;
                diferenta=diferenta-(max-min);
                }
                else
                    {
                    rezultat[i]=max-diferenta;
                    i=6;
                    }

        for(i=0;i<6;i++)
        {
            ok=0;
            for(j=0;j<n;j++)
                {
                    if(rezultat[i]==v[j])
                        ok=1;
                    if(j==n-1);
                    if(ok==0)
                        {
                        fprintf(out,"-1");
                        j=n+1;
                        i=9;
                        }
                }
        }
        if(i<8)
        for(i=0;i<6;i++)
            fprintf(out,"%ld ",rezultat[i]);

    }

fclose(in);
fclose(out);
return 0;
}