#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <math.h>
#include <limits.h>
#include <stack>
#include <queue>
#include <map>
#include <set>
#include <algorithm>
#include <string>
#include <functional>
#include <vector>
#include <numeric>
#include <deque>
#include <utility>
#include <bitset>
#include <iostream>
using namespace std;
typedef long long lint;
typedef long double llf;
typedef pair<int, int> pi;
int n, t, u[3005], v[3005], d[3005], f[3005];
lint cost(int s, int e){
if(s == e) return u[s] + v[s];
lint ret = 1ll * (e - s) * 3 * t + u[e] + f[e];
for(int i=s+1; i<e; i++){
ret += min(u[i] + v[i], d[i] + f[i]);
}
lint tmp = d[s] + v[s];
for(int i=s; i>=1; i--){
tmp = min(tmp, min(u[s] + v[s], d[s] + f[s]) + d[i] + v[i] + 1ll * (s - i) * 2 * t);
}
return ret + tmp;
}
lint dp[3005];
int main(){
cin >> n >> t;
for(int i=1; i<=n; i++){
cin >> u[i] >> v[i] >> d[i] >> f[i];
}
for(int i=1; i<=n; i++){
dp[i] = 1e18;
for(int j=0; j<i; j++){
dp[i] = min(dp[i], dp[j] + t + cost(j+1, i));
}
}
cout << dp[n] + t;
}
