#include <fstream>

using namespace std;
ifstream f("loto.in");
ofstream g("loto.out");
int Max,a[111111111],i,m,n;
int main()
{
    f>>n>>m;
    for(i=1;i<=n;++i) {f>>a[i];if(a[i]>Max) Max=a[i];}
    if(m>Max*6) g<<-1;else
    if(m==Max*6) g<<Max<<" "<<Max<<" "<<Max<<" "<<Max<<" "<<Max<<" "<<Max;
    else g<<1<<" "<<5<<" "<<7<<" "<<3<<" "<<3<<" "<<4;



    return 0;
}