# include <stdio.h>

main() {

    int n, i, j, k, l, m, p;
    int t = 0;
    long int s;
    int v[100];
    FILE *f, *g;

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

    fscanf(f, "%d %ld", &n, &s);

    for (i = 0; i < n; i++)

        fscanf(f, "%d", &v[i]);

    for (i = 0; i < n; i++)
        for (j = 0; j < n; j++)
            for (k = 0; k < n; k++)
                for (l = 0; l < n; l++)
                    for (m = 0; m < n; m++)
                        for (p = 0; p < n; p++)

                            if (v[i] + v[j] + v[k] + v[l] + v[m] + v[p] == s) {

                                fprintf(g, "%d %d %d %d %d %d\n", v[i], v[j], v[k], v[l], v[m], v[p]);
                                t = 1;
                                return;

                            }

    if (!t)

        fprintf(g, "-1");

}