#include using namespace std; typedef long long int ll; typedef pair pll; #define FOR(i, n, m) for (ll(i) = (m); (i) < (n); ++(i)) #define REP(i, n) FOR(i, n, 0) #define OF64 std::setprecision(10) const ll MOD = 1000000007; const ll INF = (ll)1e15; int L[60], W[60]; //! [i番目に][kを置いた時に][i-1番目にjを置いている時の][コストcとなるようなもので]=最大のながさ ll dp[60][60][60][60]; int main() { int N, C; cin >> N >> C; REP(i, N) { cin >> L[i]; } REP(i, N) { cin >> W[i]; } REP(i, 60) { REP(j, 60) { REP(k, 60) { REP(l, 60) { dp[i][j][k][l] = 0; } } } } //! 偶数番目を小さいものにする ll max = 0; REP(i, 55) { REP(j, N) { REP(c, C + 1) { if (c - W[j] < 0) continue; REP(k, N) { REP(l, N + 1) { if (j + 1 == l) continue; if ((i + 1) % 2 == 1) { if (L[k] >= L[j]) continue; } else { if (L[k] <= L[j]) continue; } dp[i + 1][j + 1][k + 1][c] = std::max(dp[i + 1][j + 1][k + 1][c], dp[i][k + 1][l][c - W[j]] + L[j]); } } } } } REP(i, 55) { REP(j, N) { REP(k, N) { REP(c, C + 1) { max = std::max(max, dp[i + 1][j + 1][k + 1][c]); } } } } REP(i, 60) { REP(j, 60) { REP(k, 60) { REP(l, 60) { dp[i][j][k][l] = 0; } } } } //! 奇数番目を小さいものにする REP(i, 55) { REP(j, N) { REP(c, C + 1) { if (c - W[j] < 0) continue; REP(k, N) { REP(l, N + 1) { if (j + 1 == l) continue; if ((i + 1) % 2 == 1) { if (L[k] <= L[j]) continue; } else { if (L[k] >= L[j]) continue; } dp[i + 1][j + 1][k + 1][c] = std::max(dp[i + 1][j + 1][k + 1][c], dp[i][k + 1][l][c - W[j]] + L[j]); } } } } } REP(i, 55) { REP(j, N) { REP(k, N) { REP(c, C + 1) { max = std::max(max, dp[i + 1][j + 1][k + 1][c]); } } } } cout << max << endl; return 0; }