#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 Inf 1000000000

bool check(int a,int b,int c){
	if(a==b||b==c||c==a)return false;
	if(b==max({a,b,c})||b==min({a,b,c}))return true;
	return false;
}

int main() {
    
	int N,C;
	cin>>N>>C;
	
	vector<int> L(N),W(N);
	rep(i,N)cin>>L[i];
	rep(i,N)cin>>W[i];
	
	vector dp(C+1,vector(N,vector<int>(N,-Inf)));
	
	rep(i,N){
		rep(j,N){
			rep(k,N){
				if(check(L[i],L[j],L[k])){
					int l = L[i]+L[j]+L[k];
					int w = W[i]+W[j]+W[k];
					if(w>C)continue;
					dp[w][j][k] = max(dp[w][j][k],l);
				}
			}
		}
	}
	
	rep(i,C){
		rep(j,N){
			rep(k,N){
				if(dp[i][j][k]==-Inf)continue;
				rep(l,N){
					if(check(L[j],L[k],L[l])){
						int nv = dp[i][j][k] + L[l];
						int nw = i;
						nw += W[l];
						if(nw<=C){
							dp[nw][k][l] = max(dp[nw][k][l],nv);
						}
						
					}
				}
			}
		}
	}
	int ans = 0;
	rep(i,C+1){
		rep(j,N){
			rep(k,N)ans = max(ans,dp[i][j][k]);
		}
	}
	cout<<ans<<endl;
	
    return 0;
}