#include <bits/stdc++.h>

#define long int64_t
#define DEBUG
using namespace std;

// @author: pashka

bool lss(long a1, int a2, long b1, int b2) {
    return a1 < b1 || (a1 == b1 && a2 < b2);
}

int main() {
    ios::sync_with_stdio(false);

    int n;
    long m;
    int64_t _;
    cin >> n >> _;
    m = _;
    vector<long> a(n), da(n), b(n), db(n);
    for (int i = 0; i < n; i++) {
        cin >> _;
        a[i] = _;
        cin >> _;
        da[i] = _;
        cin >> _;
        b[i] = _;
        cin >> _;
        db[i] = _;
    }

    long res = 0;
    for (int t = 0; t <= m; t++) {
        vector<long> aa(n);
        vector<long> bb(n);
        for (int i = 0; i< n; i++) {
            aa[i] = a[i] + da[i] * t;
            bb[i] = b[i] + db[i] * t;
        }
        vector<int> r;
        {
            vector<pair<long, int>> d;
            for (int i = 0; i < n; i++) {
                if (aa[i] < bb[i]) {
                    d.emplace_back(aa[i], i);
                }
            }
            sort(d.begin(), d.end());
            for (auto p : d) {
                r.push_back(p.second);
            }
        }
        {
            vector<pair<long, int>> d;
            for (int i = 0; i < n; i++) {
                if (aa[i] >= bb[i]) {
                    d.emplace_back(bb[i], i);
                }
            }
            sort(d.rbegin(), d.rend());
            for (auto p : d) {
                r.push_back(p.second);
            }
        }

        long c = 0;
        long s = 0;
        for (int i : r) {
            c -= aa[i];
            s = min(s, c);
            c += bb[i];
        }

        res += -s;

//        cout << t << ":\n";
//        for (int i = 0; i < n; i++) cout << aa[i] << " " << bb[i] << "\n";
//        for (auto x : r) cout << x << " ";
//        cout << "\n";

    }

    cout << (uint64_t) res << "\n";

    return 0;
}