#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; #if __has_include() #include using namespace atcoder; #endif #define GET_MACRO(_1, _2, _3, NAME, ...) NAME #define _rep(i, n) _rep2(i, 0, n) #define _rep2(i, a, b) for(int i = (int)(a); i < (int)(b); i++) #define rep(...) GET_MACRO(__VA_ARGS__, _rep2, _rep)(__VA_ARGS__) #define all(x) (x).begin(), (x).end() #define rall(x) (x).rbegin(), (x).rend() using i64 = long long; template bool chmin(T& a, const U& b) { return (b < a) ? (a = b, true) : false; } template bool chmax(T& a, const U& b) { return (b > a) ? (a = b, true) : false; } inline void YesNo(bool f) { std::cout << (f? "Yes": "No") << std::endl; } templateistream& operator>>(istream&i,vector&v){rep(j,v.size())i>>v[j];return i;} templatestring join(vector&v){stringstream s;rep(i,v.size())s<<' '<ostream& operator<<(ostream&o,vector&v){if(v.size())o<string join(vector>&vv){string s="\n";rep(i,vv.size())s+=join(vv[i])+"\n";return s;} templateostream& operator<<(ostream&o,vector>&vv){if(vv.size())o<> n >> k; vector a(n); cin >> a; dp[0][0] = 1; rep(i, n){ rep(j, k + 1){ dp[i + 1][j] |= dp[i][j]; if (j + a[i] <= k) dp[i + 1][j + a[i]] |= dp[i][j]; } } if (dp[n][k] == 0){ cout << -1 << endl; return 0; } vector a1(n), a2(n); int now = n - 1; int c = k; while (now >= 0){ if (c - a[now] >= 0 && dp[now][c - a[now]] == 1){ a1[now] = 1; c -= a[now]; } now--; } now = n - 1; c = k; while (now >= 0){ if (dp[now][c] != 1){ a2[now] = 1; c -= a[now]; } now--; } set s; rep(i, n) if (a1[i] & a2[i]) s.insert(a[i]); cout << s.size() << endl; }