#include <stdio.h>
#include <assert.h>
#include <algorithm>

using namespace std;

#define MAX_N 2005
#define FIN "carnati.in"
#define FOUT "carnati.out"
#define INF 0x3f3f3f3f
#define f first
#define s second

int N, C, Res;
pair<int, int> A[MAX_N];

int main(void) 
{
    int i, j, k, p, t;

    freopen(FIN, "r", stdin);
    freopen(FOUT, "w", stdout);

    scanf("%d %d", &N, &C);
    assert(1 <= N && N <= 2000);
    assert(1 <= C && C <= 1000000);
    for (i = 0; i < N; ++i)
    {
        scanf("%d %d", &A[i].f, &A[i].s);
        assert(1 <= A[i].f && A[i].f <= 1500);
        assert(1 <= A[i].s && A[i].s <= 1000000);
    }

    sort(A, A+N);
    for (i = 0; i < N; ++i)
    {
         p = A[i].s; t = -INF;
         for (k = j = 0; j < N; ++j)
         {
             if (A[j].s < p) continue;
             t = max(t, A[j].f*C-k*p);
             Res = max(Res, k*p-A[j].f*C+t+p-C);
             k++;
         }
    }
    printf("%d\n", Res);

    return 0;
}