#include<fstream>
using namespace std;
ifstream f("carnati.in");
ofstream g("carnati.out");
int n,m,c,i,j,k,y,yy,smax,aux;

struct qual{
int t,x;
}a[2002];

int main()
{
 f>>n>>c;
 for(i=1;i<=n;i++)
 f>>a[i].t>>a[i].x;

 for(i=1;i<=n;i++)
 for(j=i+1;j<=n;j++)
 if(a[i].t>a[j].t)
 {
     aux=a[i].t;
     a[i].t=a[j].t;
     a[j].t=aux;
 }

 for(i=1;i<=n;i++)
 {
     k=0;
     for(j=1;j<=n;j++)
     {
         if(a[j].x>=a[i].x) y=a[i].x;
         else y=0;
         yy=k-(a[j].t-a[j-1].t)*c+y;
         if(yy<y-c) yy=y-c;
         if(yy>smax) smax=yy;
         k=yy;
     }
 }

 g<<smax;

 return 0;
}