#include // #include using namespace std; // using namespace atcoder; using lint = long long; using graph = vector>; #define endl '\n' lint const mod = 1e9+7; //long const mod = 998244353; int main(){ int n,k; int a[n]; cin >> n >> k; for(int i=0;i> a[i]; int ans = 0; sort(a,a+n); vector>dp(1<que; que.push(0); dp[0].insert(k); for(int bit = 1;bit< (1<=0;k--){ if(bit & (1<