// ~~ icebear ~~
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<int, int> ii;
typedef pair<int, ii> iii;
template<class T>
bool minimize(T &a, const T &b) {
if (a > b) return a = b, true;
return false;
}
template<class T>
bool maximize(T &a, const T &b) {
if (a < b) return a = b, true;
return false;
}
#define FOR(i,a,b) for(int i=(a); i<=(b); ++i)
#define FORR(i,a,b) for(int i=(a); i>=(b); --i)
#define REP(i, n) for(int i=0; i<(n); ++i)
#define RED(i, n) for(int i=(n)-1; i>=0; --i)
#define MASK(i) (1LL << (i))
#define BIT(S, i) (((S) >> (i)) & 1)
#define mp make_pair
#define pb push_back
#define fi first
#define se second
#define all(x) x.begin(), x.end()
#define task "exchange"
const int MOD = 1e9 + 7;
const int inf = 1e9 + 27092008;
const ll INF = 1e18 + 27092008;
const int N = 2e5 + 5;
int n, p, c[N], dp[N];
vector<int> trace[N];
void init(void) {
cin >> n >> p;
FOR(i, 1, n) cin >> c[i];
sort(c + 1, c + n + 1);
}
void process(void) {
memset(dp, -0x3f, sizeof dp);
c[0] = -1;
dp[0] = 0;
int sum = 0;
FOR(i, 1, n) {
sum += c[i];
FORR(j, sum, c[i])
if (maximize(dp[j], dp[j - c[i]] + (c[i] != c[i - 1])))
trace[j].pb(i);
}
int res = 0, jres = 0;
FORR(j, sum - p, 0) if (maximize(res, dp[j]))
jres = j;
cout << res << ' ' << sum - jres << '\n';
vector<bool> keep(n+1, false);
while(jres) {
while(!trace[jres].empty() && keep[trace[jres].back()]) trace[jres].pop_back();
int i = trace[jres].back();
keep[i] = true;
jres -= c[i];
}
vector<int> ans;
FOR(i, 1, n) if (!keep[i] && c[i] > 0)
ans.pb(c[i]);
sort(all(ans));
for(int x : ans) cout << x << ' ';
}
int main() {
ios_base::sync_with_stdio(0);
cin.tie(0); cout.tie(0);
if (fopen(task".inp", "r")) {
freopen(task".inp", "r", stdin);
freopen(task".out", "w", stdout);
}
int tc = 1;
// cin >> tc;
while(tc--) {
init();
process();
}
return 0;
}
Ly8gfn4gaWNlYmVhciB+fgojaW5jbHVkZSA8Yml0cy9zdGRjKysuaD4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCnR5cGVkZWYgbG9uZyBsb25nIGxsOwp0eXBlZGVmIHBhaXI8aW50LCBpbnQ+IGlpOwp0eXBlZGVmIHBhaXI8aW50LCBpaT4gaWlpOwoKdGVtcGxhdGU8Y2xhc3MgVD4KICAgIGJvb2wgbWluaW1pemUoVCAmYSwgY29uc3QgVCAmYikgewogICAgICAgIGlmIChhID4gYikgcmV0dXJuIGEgPSBiLCB0cnVlOwogICAgICAgIHJldHVybiBmYWxzZTsKICAgIH0KCnRlbXBsYXRlPGNsYXNzIFQ+CiAgICBib29sIG1heGltaXplKFQgJmEsIGNvbnN0IFQgJmIpIHsKICAgICAgICBpZiAoYSA8IGIpIHJldHVybiBhID0gYiwgdHJ1ZTsKICAgICAgICByZXR1cm4gZmFsc2U7CiAgICB9CgojZGVmaW5lIEZPUihpLGEsYikgZm9yKGludCBpPShhKTsgaTw9KGIpOyArK2kpCiNkZWZpbmUgRk9SUihpLGEsYikgZm9yKGludCBpPShhKTsgaT49KGIpOyAtLWkpCiNkZWZpbmUgUkVQKGksIG4pIGZvcihpbnQgaT0wOyBpPChuKTsgKytpKQojZGVmaW5lIFJFRChpLCBuKSBmb3IoaW50IGk9KG4pLTE7IGk+PTA7IC0taSkKI2RlZmluZSBNQVNLKGkpICgxTEwgPDwgKGkpKQojZGVmaW5lIEJJVChTLCBpKSAoKChTKSA+PiAoaSkpICYgMSkKI2RlZmluZSBtcCBtYWtlX3BhaXIKI2RlZmluZSBwYiBwdXNoX2JhY2sKI2RlZmluZSBmaSBmaXJzdAojZGVmaW5lIHNlIHNlY29uZAojZGVmaW5lIGFsbCh4KSB4LmJlZ2luKCksIHguZW5kKCkKI2RlZmluZSB0YXNrICJleGNoYW5nZSIKCmNvbnN0IGludCBNT0QgPSAxZTkgKyA3Owpjb25zdCBpbnQgaW5mID0gMWU5ICsgMjcwOTIwMDg7CmNvbnN0IGxsIElORiA9IDFlMTggKyAyNzA5MjAwODsKY29uc3QgaW50IE4gPSAyZTUgKyA1OwppbnQgbiwgcCwgY1tOXSwgZHBbTl07CnZlY3RvcjxpbnQ+IHRyYWNlW05dOwoKdm9pZCBpbml0KHZvaWQpIHsKICAgIGNpbiA+PiBuID4+IHA7CiAgICBGT1IoaSwgMSwgbikgY2luID4+IGNbaV07CiAgICBzb3J0KGMgKyAxLCBjICsgbiArIDEpOwp9Cgp2b2lkIHByb2Nlc3Modm9pZCkgewogICAgbWVtc2V0KGRwLCAtMHgzZiwgc2l6ZW9mIGRwKTsKICAgIGNbMF0gPSAtMTsKICAgIGRwWzBdID0gMDsKICAgIGludCBzdW0gPSAwOwoKICAgIEZPUihpLCAxLCBuKSB7CiAgICAgICAgc3VtICs9IGNbaV07CiAgICAgICAgRk9SUihqLCBzdW0sIGNbaV0pCiAgICAgICAgICAgIGlmIChtYXhpbWl6ZShkcFtqXSwgZHBbaiAtIGNbaV1dICsgKGNbaV0gIT0gY1tpIC0gMV0pKSkKICAgICAgICAgICAgICAgIHRyYWNlW2pdLnBiKGkpOwogICAgfQogICAgaW50IHJlcyA9IDAsIGpyZXMgPSAwOwogICAgRk9SUihqLCBzdW0gLSBwLCAwKSBpZiAobWF4aW1pemUocmVzLCBkcFtqXSkpCiAgICAgICAganJlcyA9IGo7CiAgICBjb3V0IDw8IHJlcyA8PCAnICcgPDwgc3VtIC0ganJlcyA8PCAnXG4nOwogICAgdmVjdG9yPGJvb2w+IGtlZXAobisxLCBmYWxzZSk7CiAgICB3aGlsZShqcmVzKSB7CiAgICAgICAgd2hpbGUoIXRyYWNlW2pyZXNdLmVtcHR5KCkgJiYga2VlcFt0cmFjZVtqcmVzXS5iYWNrKCldKSB0cmFjZVtqcmVzXS5wb3BfYmFjaygpOwogICAgICAgIGludCBpID0gdHJhY2VbanJlc10uYmFjaygpOwogICAgICAgIGtlZXBbaV0gPSB0cnVlOwogICAgICAgIGpyZXMgLT0gY1tpXTsKICAgIH0KCiAgICB2ZWN0b3I8aW50PiBhbnM7CiAgICBGT1IoaSwgMSwgbikgaWYgKCFrZWVwW2ldICYmIGNbaV0gPiAwKQogICAgICAgIGFucy5wYihjW2ldKTsKICAgIHNvcnQoYWxsKGFucykpOwogICAgZm9yKGludCB4IDogYW5zKSBjb3V0IDw8IHggPDwgJyAnOwp9CgppbnQgbWFpbigpIHsKICAgIGlvc19iYXNlOjpzeW5jX3dpdGhfc3RkaW8oMCk7CiAgICBjaW4udGllKDApOyBjb3V0LnRpZSgwKTsKICAgIGlmIChmb3Blbih0YXNrIi5pbnAiLCAiciIpKSB7CiAgICAgICAgZnJlb3Blbih0YXNrIi5pbnAiLCAiciIsIHN0ZGluKTsKICAgICAgICBmcmVvcGVuKHRhc2siLm91dCIsICJ3Iiwgc3Rkb3V0KTsKICAgIH0KICAgIGludCB0YyA9IDE7Ci8vICAgIGNpbiA+PiB0YzsKICAgIHdoaWxlKHRjLS0pIHsKICAgICAgICBpbml0KCk7CiAgICAgICAgcHJvY2VzcygpOwogICAgfQogICAgcmV0dXJuIDA7Cn0K