#include <bits/stdc++.h>
using namespace std;
#define int              long long int
#define double           long double
#define print(a)         for(auto x : a) cout << x << " "; cout << endl


const int M = 1000000007;
const int N = 3e5+9;
const int INF = 2e9+1;
const int LINF = 2000000000000000001;

inline int power(int a, int b, int mod=M) {
    int x = 1;
    a %= mod;
    while (b) {
        if (b & 1) x = (x * a) % mod; 
        a = (a * a) % mod;
        b >>= 1;
    }
    return x;
}


//_ ***************************** START Below *******************************




vector<int> c;
vector<int> h;
vector<int> x;
vector<int> y;

int consistency(int n, int m){

	vector<vector<int>> dp(n+1, vector<int>(m+1, -INF));
	
	dp[0][0] = 0;
	
	for(int i=1; i<=n; i++){
		for(int j=0; j<=m; j++){
			
			int xi = x[i-1];
			int yi = y[i-1];
			
			for(int k=xi; k<=yi; k++){
				if(j-k*c[i-1] >= 0 && dp[i-1][j-k*c[i-1]] >= 0){
					dp[i][j] = max(dp[i][j], dp[i-1][j-k*c[i-1]] + k*h[i-1]);
				}
			}
		}
	}
	
	return dp[n][m];
}















int practice(int n){


    return 0;
}





void solve() {
    
    int n, m;
    cin>> n >> m;
    
    c.resize(n);
    h.resize(n);
    x.resize(n);
    y.resize(n);
    for(int i=0; i<n; i++) cin >> c[i];
    for(int i=0; i<n; i++) cin >> h[i];
    for(int i=0; i<n; i++) cin >> x[i];
    for(int i=0; i<n; i++) cin >> y[i];
    
    cout << consistency(n, m) << endl;


}





int32_t main() {
    ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0);

    int t = 1;
    // cin >> t;
    while (t--) {
        solve();
    }

    return 0;
}