// includes #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include // macros #define ll long long int #define pb emplace_back #define mk make_pair #define pq priority_queue #define FOR(i, a, b) for(int i=(a);i<(b);++i) #define rep(i, n) FOR(i, 0, n) #define rrep(i, n) for(int i=((int)(n)-1);i>=0;i--) #define all(x) (x).begin(),(x).end() #define sz(x) ((int)(x).size()) #define UNIQUE(v) v.erase(unique(v.begin(), v.end()), v.end()) using namespace std; // types typedef pair P; typedef pair Pl; typedef pair Pll; typedef pair Pd; // constants const int inf = 1e9; const ll linf = 1LL << 50; const double EPS = 1e-10; const int mod = 1e9 + 7; // solve template bool chmax(T &a, const T &b){if(a < b){a = b; return 1;} return 0;} template bool chmin(T &a, const T &b){if(a > b){a = b; return 1;} return 0;} int t[51]; int dp[51][51][51]; bool ok[51][51][51]; int main(int argc, char const* argv[]) { ios_base::sync_with_stdio(false); cin.tie(0); int n, c; cin >> n >> c; vector l(n), w(n); rep(i, n)cin >> l[i]; rep(i, n)cin >> w[i]; rep(i, n){ if(t[l[i]] == 0 || t[l[i]] > w[i])t[l[i]] = w[i]; } for(int i = 1; i <= 50; i++){ for(int j = i + 1; j <= 50; j++){ if(t[i] == 0 || t[j] == 0)continue; if(t[i] + t[j] <= c)dp[i][j][t[i]+t[j]] = i + j; if(t[i] + t[j] <= c)dp[j][i][t[i]+t[j]] = i + j; } } int res = 0; for(int k = 1; k <= c; k++){ for(int i = 1; i <= 50; i++){ for(int j = 1; j <= 50; j++){ if(i == j || t[i] == 0 || t[j] == 0)continue; if(i > j){ for(int l = j + 1; l <= 50; l++){ if(i == l || t[l] == 0)continue; if(k - t[i] > 0){ if(dp[j][l][k-t[i]] == 0)continue; int tmp = dp[j][l][k-t[i]] + i; if(dp[i][j][k] <= tmp){ dp[i][j][k] = tmp; res = max(res, tmp); } } } }else{ for(int l = 1; l < j; l++){ if(i == l || t[l] == 0)continue; if(k - t[i] > 0){ if(dp[j][l][k-t[i]] == 0)continue; int tmp = dp[j][l][k-t[i]] + i; if(dp[i][j][k] <= tmp){ dp[i][j][k] = tmp; res = max(res, tmp); } } } } } } } cout << res << endl; return 0; }