#include <stdio.h> #include <atcoder/all> #include <bits/stdc++.h> using namespace std; using namespace atcoder; using mint = modint998244353; #define rep(i,n) for (int i = 0; i < (n); ++i) #define Inf32 1000000001 #define Inf64 4000000000000000001 int main(){ ios::sync_with_stdio(false); std::cin.tie(nullptr); int N,M,Q; cin>>N>>M>>Q; vector<int> a(N),b(N); rep(i,N)cin>>a[i]>>b[i]; vector<pair<int,int>> dp(1<<N,make_pair(3,3)); dp[0] = make_pair(0,0); rep(i,1<<N){ if(dp[i].first == 3)continue; rep(j,N){ if((i>>j)&1)continue; auto c = dp[i]; if(c.first==0){ if(c.second + a[j] <= M)c.second += a[j]; else if(a[j] > Q)continue; else { c.first = 1; c.second = a[j]; } } else{ if(c.second + a[j] > Q)continue; c.second += a[j]; } dp[i | (1<<j)] = min(dp[i|(1<<j)],c); } } long long ans = 0; rep(i,1<<N){ if(dp[i].first!=3){ long long v = 0; rep(j,N){ if((i>>j)&1)v += b[j]; } ans = max(ans,v); } } cout<<ans<<endl; return 0; }