using System; public class Hello { public static int max1, max2, tmax1, tmax2, max1i, max2i, tmax1i, tmax2i; static void Main() { string[] line = Console.ReadLine().Trim().Split(' '); var n = int.Parse(line[0]); var d = int.Parse(line[1]); var p = new int[n]; var q = new int[n]; var r = new int[n]; for (int i = 0; i < n; i++) { line = Console.ReadLine().Trim().Split(' '); p[i] = int.Parse(line[0]); q[i] = int.Parse(line[1]); r[i] = q[i] - p[i]; } getAns(n, d, p, q, r); } static void getAns(int n, int d, int[] p, int[] q, int[] r) { var ok = -100000000; var ng = 0; while (ng - ok > 1) { var mid = ok + (ng - ok) / 2; if (check(n, d, p, q, r, mid)) ok = mid; else ng = mid; } Console.WriteLine(ok); } static void setMax(int t,int i) { if (t >= max1) { max2 = max1; max2i = max1i; max1 = t; max1i = i; } else if (t >= max2) { max2 = t; max2i = i; } } static void setTmax(int t , int i) { if (t >= tmax1) { tmax2 = tmax1; tmax2i = tmax1i; tmax1 = t; tmax1i = i; } else if (t >= tmax2) { tmax2 = t; tmax2i = i; } } static bool check(int n, int d, int[] p, int[] q, int[] r, int t) { var dp = new int[d + 1, n]; for (int i = 0; i < d + 1; i++) for (int j = 0; j < n; j++) dp[i, j] = int.MinValue; max1 = int.MinValue; max2 = int.MinValue; for (int i = 0; i < n; i++) { if (-p[i] >= t) dp[1, i] = r[i]; setMax( dp[1,i] ,i); } if (max1 == int.MinValue) return false; for (int i = 2; i <= d; i++) { tmax1 = int.MinValue; tmax2 = int.MinValue; for (int j = 0; j < n; j++) { if (j == max1i) { if (max2 == int.MinValue) { dp[i, j] = int.MinValue; setTmax(int.MinValue, j); } else { if (dp[i - 1, max2i] - p[j] < t) { dp[i, j] = int.MinValue; setTmax(int.MinValue, j); } else { dp[i, j] = dp[i - 1, max2i] + r[j]; setTmax(dp[i - 1, max2i] + r[j],j); } } } else { if (dp[i - 1, max1i] - p[j] < t) { dp[i, j] = int.MinValue; setTmax(int.MinValue, j); } else { dp[i, j] = dp[i - 1, max1i] + r[j]; setTmax(dp[i - 1, max1i] + r[j], j); } } } max1 = tmax1; max2 = tmax2; max1i = tmax1i; max2i = tmax2i; } for (int i = 0; i < n; i++) { if (dp[d, i] != int.MinValue) { return true; } } return false; } }