Problem: This problem consists of three subproblems: for solving subproblem C1 you will receive 4 points, for solving subproblem C2 you will receive 4 points, and for solving subproblem C3 you will receive 8 points.

Manao decided to pursue a fighter's career. He decided to begin with an ongoing tournament. Before Manao joined, there were n contestants in the tournament, numbered from 1 to n. Each of them had already obtained some amount of tournament points, namely the i-th fighter had pi points.

Manao is going to engage in a single fight against each contestant. Each of Manao's fights ends in either a win or a loss. A win grants Manao one point, and a loss grants Manao's opponent one point. For each i, Manao estimated the amount of effort ei he needs to invest to win against the i-th contestant. Losing a fight costs no effort.

After Manao finishes all of his fights, the ranklist will be determined, with 1 being the best rank and n + 1 being the worst. The contestants will be ranked in descending order of their tournament points. The contestants with the same number of points as Manao will be ranked better than him if they won the match against him and worse otherwise. The exact mechanism of breaking ties for other fighters is not relevant here.

Manao's objective is to have rank k or better. Determine the minimum total amount of effort he needs to invest in order to fulfill this goal, if it is possible.

Input

The first line contains a pair of integers n and k (1 ≤ k ≤ n + 1). The i-th of the following n lines contains two integers separated by a single space — pi and ei (0 ≤ pi, ei ≤ 200000).

The problem consists of three subproblems. The subproblems have different constraints on the input. You will get some score for the correct submission of the subproblem. The description of the subproblems follows.

  * In subproblem C1 (4 points), the constraint 1 ≤ n ≤ 15 will hold. 
  * In subproblem C2 (4 points), the constraint 1 ≤ n ≤ 100 will hold. 
  * In subproblem C3 (8 points), the constraint 1 ≤ n ≤ 200000 will hold. 

Output

Print a single number in a single line — the minimum amount of effort Manao needs to use to rank in the top k. If no amount of effort can earn Manao such a rank, output number -1.

Examples

Input

3 2
1 1
1 4
2 2


Output

3


Input

2 1
3 2
4 0


Output

-1


Input

5 2
2 10
2 10
1 1
3 1
3 1


Output

12

Note

Consider the first test case. At the time when Manao joins the tournament, there are three fighters. The first of them has 1 tournament point and the victory against him requires 1 unit of effort. The second contestant also has 1 tournament point, but Manao needs 4 units of effort to defeat him. The third contestant has 2 points and victory against him costs Manao 2 units of effort. Manao's goal is top be in top 2. The optimal decision is to win against fighters 1 and 3, after which Manao, fighter 2, and fighter 3 will all have 2 points. Manao will rank better than fighter 3 and worse than fighter 2, thus finishing in second place.

Consider the second test case. Even if Manao wins against both opponents, he will still rank third.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
template <typename T>
T next_int() {
  T x = 0, p = 1;
  char ch;
  do {
    ch = getchar();
  } while (ch <= ' ');
  if (ch == '-') {
    p = -1;
    ch = getchar();
  }
  while (ch >= '0' && ch <= '9') {
    x = x * 10 + (ch - '0');
    ch = getchar();
  }
  return p * x;
}
const int max_int = (int)1e9 + 227 + 1;
const int max_n = (int)1e6 + 227 + 1;
const int mod = (int)1e9 + 7;
struct BOR {
  int link[2];
  int k;
  long long sum;
} new_bor;
vector<BOR> t[2];
void add(int type, int y, int kek) {
  int v = 0;
  for (int i = 30; i >= -1; i--) {
    t[type][v].k += kek;
    t[type][v].sum += y * kek;
    if (i == -1) break;
    bool bit = (1 << i) & y;
    if (t[type][v].link[bit] == 0) {
      t[type][v].link[bit] = t[type].size();
      t[type].push_back(new_bor);
    }
    v = t[type][v].link[bit];
  }
}
void add(int type, vector<int> a) {
  for (int i = 0; i < a.size(); i++) add(type, a[i], 1);
}
void del(int type, vector<int> a) {
  for (int i = 0; i < a.size(); i++) add(type, a[i], -1);
}
long long get(int type, int c) {
  int v = 0;
  if (t[type][v].k < c) return (long long)2e18;
  long long ans = 0;
  long long e = 0;
  for (int i = 30; i >= 0; i--) {
    if (t[type][v].link[0] == 0) {
      t[type][v].link[0] = t[type].size();
      t[type].push_back(new_bor);
    }
    if (t[type][v].link[1] == 0) {
      t[type][v].link[1] = t[type].size();
      t[type].push_back(new_bor);
    }
    if (t[type][v].k == c) return t[type][v].sum + ans;
    if (t[type][t[type][v].link[0]].k >= c) {
      v = t[type][v].link[0];
    } else {
      ans += t[type][t[type][v].link[0]].sum;
      c -= t[type][t[type][v].link[0]].k;
      e += (1 << i);
      v = t[type][v].link[1];
    }
  }
  return ans + e * c;
}
long long get_ans(int i, int all) {
  int j = all - i;
  return get(0, i) + get(1, j);
}
int main() {
  int n = next_int<int>();
  int m = next_int<int>();
  t[0].push_back(new_bor);
  t[1].push_back(new_bor);
  int mda = 1;
  vector<vector<int> > a(n + 1);
  for (int i = 0; i < n; i++) {
    int x = next_int<int>();
    int y = next_int<int>();
    add(1, y, 1);
    if (x >= n) mda++;
    if (x <= n) a[x].push_back(y);
  }
  long long ans = (long long)2e18;
  add(0, a[n]);
  del(1, a[n]);
  if (n - 1 >= 0) add(0, a[n - 1]), del(1, a[n - 1]);
  for (int i = n; i >= 0; i--) {
    if (i - 1 >= 0) mda += a[i - 1].size();
    int l = max(max(0, mda - m), i - t[1][0].k);
    int r = min(t[0][0].k, i);
    while (r - l > 1) {
      int c = (l + r) / 2;
      if ((c == max(max(0, mda - m), i - t[1][0].k)) ||
          (get_ans(c, i) <= get_ans(c - 1, i)))
        l = c;
      else
        r = c;
    }
    if (l <= r) {
      ans = min(ans, get_ans(l, i));
      ans = min(ans, get_ans(r, i));
    }
    if (i <= n) del(0, a[i]), add(1, a[i]);
    if (i - 2 >= 0) add(0, a[i - 2]), del(1, a[i - 2]);
  }
  if (ans == (long long)2e18) ans = -1;
  cout << ans << "\n";
}