#include #include using namespace std; using namespace atcoder; typedef int64_t lint; #define rep(i, n) for(int i=0; i; using vvi = vector>; template inline void vin(vector& v) { rep(i, v.size()) cin >> v.at(i); } template inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; } template inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; } template inline void drop(T x) { cout << x << endl; exit(0); } template void vout(vector v) { rep(i, v.size()) { cout << v.at(i) << ' '; } cout << endl; } constexpr lint LINF = LLONG_MAX/2; int main() { lint N, K; cin >> N >> K; vi v(N); vin(v); lint a=0, b=0, c=0, x, y, z; vvi dpl(N+1, vi(K+1)), dpr(N+1, vi(K+1)); dpl[0][0] = 1; rep(i, N) { rep(j, K+1) { if (j+v[i] <= K) chmax(dpl[i+1][j+v[i]], dpl[i][j]); chmax(dpl[i+1][j], dpl[i][j]); } } dpr[N][0] = 1; rep(i, N) { rep(j, K+1) { if (j+v[N-i-1] <= K) chmax(dpr[N-1-i][j+v[N-i-1]], dpr[N-i][j]); chmax(dpr[N-1-i][j], dpr[N-i][j]); } } if (!dpl[N][K]) drop(-1); rep(i, N) { bool f = false; rep(j, K+1) { if (dpl[i][j] && dpr[i+1][K-j]) f = true; } if (f) continue; rep(j, K+1) { if (K-j-v[i] < 0) break; if (dpl[i][j] && dpr[i+1][K-j-v[i]]) f = true; } if (f) a++; } std::cout << a << '\n'; }