import sys
input = sys.stdin.readline
N, D = map(int, input().split())
a = []
b = []
t = []
for i in range(N):
  p, q = map(int, input().split())
  if p <= q: a.append((p, q, i))
  else: b.append((p, q, i))
  t.append((p, q))

s = set()

if len(a) >= 1:
  a.sort(key = lambda x: (x[0], -x[1]))
  s.add(a[0][2])

if len(a) >= 2:
  a.sort(key = lambda x: (x[0], -x[1]))
  s.add(a[1][2])

if len(a) >= 1:
  a.sort(key = lambda x: (-x[1], x[0]))
  s.add(a[0][2])

if len(a) >= 2:
  a.sort(key = lambda x: (-x[1], x[0]))
  s.add(a[1][2])

if len(b) >= 1:
  b.sort(key = lambda x: -x[1])
  s.add(b[0][2])

if len(b) >= 2:
  b.sort(key = lambda x: -x[1])
  s.add(b[1][2])

if len(b) >= 1:
  b.sort(key = lambda x: (x[0], -x[1]))
  s.add(b[0][2])

if len(b) >= 2:
  b.sort(key = lambda x: (x[0], -x[1]))
  s.add(b[1][2])

res = -10 ** 18
for i in s:
  for j in s:
    if i == j: continue
    tt = 0
    tres = 0
    for k in range(D):
      if k & 1:
        tt -= t[i][0]
        tres = min(tres, tt)
        tt += t[i][1]
      else:
        tt -= t[j][0]
        tres = min(tres, tt)
        tt += t[j][1]
    res = max(res, tres)
inf = -10 ** 9
def check(x):
  dp = [0] * N
  mxl = [inf] * (N + 1)
  mxr = [inf] * (N + 1)
  for _ in range(D):
    for i in range(N): mxl[i + 1] = max(mxl[i], dp[i])
    for i in range(N, 0, -1): mxr[i - 1] = max(mxr[i], dp[i - 1])
    for i in range(N):
      dp[i] = max(mxl[i], mxr[i + 1])
      if dp[i] - t[i][0] < x: dp[i] = inf
      else: dp[i] += t[i][1] - t[i][0]
    #print(mxl, mxr, dp)
  return max(dp) >= x

ok = res
ng = 0
while ng - ok > 1:
  m = (ok + ng) // 2
  if check(m): ok = m
  else: ng = m
res = max(res, ok)
print(res)