#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; dp1[0][0] = 1; dp2[0][0] = 1; rep(i, n){ rep(j, k + 1){ dp1[i + 1][j] |= dp1[i][j]; if (j + a[i] <= k) dp1[i + 1][j + a[i]] |= dp1[i][j]; } } if (dp1[n][k] == 0){ cout << -1 << endl; return 0; } reverse(all(a)); rep(i, n){ rep(j, k + 1){ dp2[i + 1][j] |= dp2[i][j]; if (j + a[i] <= k) dp2[i + 1][j + a[i]] |= dp2[i][j]; } } int ans = 0; rep(i, n){ int c = 1; rep(j, k + 1){ if (dp1[i][j] & dp2[n - i - 1][k - j]) c = 0; } ans += c; } cout << ans << endl; }