program market;

var
   n, c, i, j, k, max, min, pr, tmax, l, tmin: longint;
   t, p: array[1..2010] of longint;
   f: text;

begin
   assign(f, 'carnati.in');
   reset(F);
   max:=0;
   readln(f, n, c);
   for i:= 1 to n do
      readln(f, t[i], p[i]);
{  for i:= 1 to n do
      for j:= i to n do
         if t[i]>t[j] then
            begin
               tmp:=t[i];
               t[i]:=t[j];
               t[j]:=tmp;
               tmp:=p[i];
               p[i]:=p[j];
               p[j]:=tmp;
            end;}
   for i:=1 to n do
      begin
         min:=p[i];
         pr:=0;
         tmin:=t[i];
         tmax:=tmin;
         for j:=1 to n do
            if p[j]>=min then
               begin
                  pr:=pr+1;
                  if t[j]>tmax then
                     tmax:=t[j];
                  if t[j]<tmin then
                     tmin:=t[j];
               end;
         pr:=min*pr-c*(tmax-tmin+1);
         if pr>max then
            max:=pr;
      end;
   close(F);
   assign(f, 'carnati.out');
   rewrite(F);
   writeln(f, max);
   close(F);
end.