#include #include #include using namespace atcoder; using mint = modint998244353; using namespace std; #define rep(i,n) for(int i=0;i<(n);i++) #define Inf 1000000000 int main(){ int n,k; cin>>n>>k; vector a(n); rep(i,n)cin>>a[i]; vector> pre(n+1),suf(n+1); pre[0][0] = 1; rep(i,n){ pre[i+1] = pre[i]; pre[i+1] |= pre[i]<=0;i--){ suf[i] = suf[i+1]; suf[i] |= suf[i+1]>>a[i]; } if(pre.back()[k]==0){ cout<<-1<