#include <bits/stdc++.h>
using namespace std;

inline int read(){
    int res = 0; char ch = getchar();
    while(!isdigit(ch)) ch= getchar();
    while(isdigit(ch)){
        res = (res << 1) + (res << 3) + ch - '0';
        ch = getchar();
    }
    return res;
}

int dp[1002];
int ans = 0;

int main(){
    
    int n,k;
    n = read();
    k = read();  

    vector<pair<int, int>> cikk;

    for(int i = 0; i < n; i++) {
        int t = read(),a = read(),m = read(),mint = read();
        k -= mint * t;
        ans += mint * a;
        m -= mint;
        for(int j = 0; j < m; j++) {
            cikk.push_back({t, a}); 
        }
    }

    for(int i = 0; i < cikk.size(); i++){
        for(int j = k - cikk[i].first; j >= 0; j--){
            dp[j + cikk[i].first] = max(dp[j + cikk[i].first], dp[j] + cikk[i].second);
        }
    }

    cout << dp[k] + ans;
}