# include <bits/stdc++.h>
using namespace std;
typedef long long ll;
int a[70],sum[70],tv[70],id[70][3010],L[70][3010],R[70][3010];
ll f[3001][61][61],g[3001][61][61],h[3001][61][61],mnL[3001][61][61],mnR[3001][61][61];
void upd(ll &a,ll b){a>b?a=b:0;}
int main()
{
	int n,th,tot=0;
	cin>>n>>th;
	for(int i=1;i<=n;i++) scanf("%d%d",&a[i],&tv[i]),sum[i]=sum[i-1]+a[i];
	for(int i=1;i<=n;i++)
		for(int j=1;j<=a[i];j++)
			id[i][j]=++tot;
	for(int i=0;i<=tot;i++)
		for(int j=1;j<=n;j++)
			for(int k=j;k<=n;k++)
				f[i][j][k]=g[i][j][k]=h[i][j][k]=mnL[i][j][k]=mnR[i][j][k]=1e18;
	for(int i=1;i<=n;i++)
		for(int j=1;j<=a[i];j++)
		{
			int p;
			for(p=i-1;p && a[p]<j;p--);
			L[i][j]=p;
			for(p=i+1;p<=n && a[p]<j;p++);
			R[i][j]=p;
		}
	auto calc=[&](ll w,int sz){return w*sz*(tot-sz);};
	for(int l=1;l<=n+1;l++)
		for(int i=1;i<=n;i++)
			for(int j=a[i];j>=1;j--)
				h[id[i][j]][l][l-1]=h[id[i][j+1]][l][l-1]+calc(tv[i],a[i]-j+1);
	for(int l=n;l>=1;l--)
		for(int r=l;r<=n;r++)
		{
			for(int i=l;i<=r;i++)
				for(int j=1;j<=a[i];j++)
				{
					int pl=L[i][j],pr=R[i][j],k=id[i][j],kl=id[pl][j],kr=id[pr][j],k2=id[i][j-1];
					auto G=[&](int l,int r){return k2?g[k2][l][r]:(l==i && r==i?0:1e18);};
					for(int m=l-1;m<i;m++) upd(mnL[k][l][r],f[kl][l][m]+G(m+1,r));
					for(int m=i;m<=r;m++) upd(mnR[k][l][r],G(l,m)+f[kr][m+1][r]);
					for(int m=i;m<=r;m++) upd(g[k][l][r],mnL[k][l][m]+f[kr][m+1][r]);
					g[k][l][r]+=calc(tv[i],sum[r]-sum[l-1]-a[i]+j);
					k2=id[i][j+1];
					for(int m=i;m<=r;m++) upd(f[k][l][r],mnL[k][l][m]+h[k2][m+1][r]);
					for(int m=l-1;m<i;m++) upd(f[k][l][r],h[k2][l][m]+mnR[k][m+1][r]);
					f[k][l][r]+=calc(th,sum[r]-sum[l-1]);
				}
			for(int i=1;i<l;i++)
				for(int j=a[i];j>=1;j--)
				{
					int p=R[i][j],k=id[i][j],k1=id[p][j],k2=id[i][j+1];
					for(int m=l-1;m<=r;m++) upd(h[k][l][r],f[k1][l][m]+h[k2][m+1][r]);
					h[k][l][r]+=calc(tv[i],a[i]-j+1+sum[r]-sum[l-1]);
				}
			for(int i=r+1;i<=n;i++)
				for(int j=a[i];j>=1;j--)
				{
					int p=L[i][j],k=id[i][j],k1=id[p][j],k2=id[i][j+1];
					for(int m=l-1;m<=r;m++) upd(h[k][l][r],h[k2][l][m]+f[k1][m+1][r]);
					h[k][l][r]+=calc(tv[i],a[i]-j+1+sum[r]-sum[l-1]);
				}
		}
	cout<<f[id[1][a[1]]][1][n]<<endl;
	return 0;
}