#include using namespace std; using ll = long long; using str = string; #define re(n) for(int _=0;_=0; i--) #define per1(i,s,n) for(int i=int(n)-1; i>=s; i--) #define all(x) x.begin(), x.end() #define SORT(v) sort(all(v)) #define REV(v) reverse(all(v)) #define MIN(v) *min_element(all(v)) #define MAX(v) *max_element(all(v)) #define elif else if #define len(x) ll(x.size()) #define _GLIBCXX_DEBUG template inline bool chmax(T &a, T b) { return ((a < b) ? (a = b, true) : (false)); } template inline bool chmin(T &a, T b) { return ((a > b) ? (a = b, true) : (false)); } templatevoid vcin(vector &n){for(int i=0;i>n[i];} templatevoid vcout(vector &n){for(int i=0;i; using vvi = vector; using pii = pair; using vl = vector; using vvl = vector; using pll = pair; using vpi = vector; using vpl = vector; using vc = vector; using vs = vector; using quei = deque; using quel = deque; #pragma GCC target("avx2") #pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") int main() { int n, k; cin >> n >> k; int tmp = 0; vector> data; for (int i = 0; i < n; ++i) { int c, v; cin >> c >> v; if (c == 0) { tmp += v; continue; } data.emplace_back(c, v); } sort(data.rbegin(), data.rend()); // 降順にソート const int m = 20; vector> dp(m, vector(k + 1, 0)); vector p = {1}; for (int i = 0; i < m; ++i) { p.push_back(p.back() * 2); } for (auto& [c, v] : data) { vector> ndp(m, vector(k + 1, 0)); for (int i = 0; i < m; ++i) { ll nc = c * p[i]; for (int j = 0; j <= k; ++j) { ndp[i][j] = max(ndp[i][j], dp[i][j]); if (i + 1 < m && j + nc <= k) { ndp[i + 1][j + nc] = max(ndp[i + 1][j + nc], dp[i][j] + v); } } } dp = ndp; } ll ans = 0; for (const auto& row : dp) { for (ll val : row) { ans = max(ans, val); } } cout << ans + tmp << endl; return 0; }