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 p_{i} 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 e_{i} 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 — p_{i} and e_{i} (0 ≤ p_{i}, e_{i} ≤ 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.

Source: codeforces | Difficulty: MEDIUM
Tags: Complete search


Solutions:
m = 301000
ns = [0] * m
es = [0] * m
c = [0] * m
b = [0] * m
t = [0] * m
P = 0

def add(b, k):
	k = t[k]
	while k:
		e = es[k]
		if b[-1] > e:
			b[-1] = e
		b[e] += 1
		k = ns[k]

def delete(b):
	for i in range(b[m - 1], m + 1):
		if b[i]:
			b[i] -= 1
			b[-1] = i
			return i

def calc(k):
	nonlocal b
	q = 0
	b = [0] * m
	b[-1] = m
	take = rank - dn
	if take < 0:
		take = 0
	add(b, k)
	add(b, k - 1)
	for i in range(1, take + 1):
		q += delete(b)
	for i in range(k - 1):
		add(b, i)
	for i in range(k + 1, P + 1):
		add(b, i)
	for i in range(1, k - take + 1):
		q += delete(b)
	return q
(n, k) = list(map(int, input().split()))
rank = n - k + 1
if rank == 0:
	print('0')
	return
for i in range(1, n + 1):
	(p, e) = list(map(int, input().split()))
	if p > P:
		P = p
	c[p] += 1
	(es[i], ns[i]) = (e, t[p])
	t[p] = i
dn = 0
for i in range(1, n + 1):
	if i > 1:
		dn += c[i - 2]
	if c[i] + c[i - 1] + dn >= rank and rank <= i + dn:
		u = calc(i)
		if i < n:
			dn += c[i - 1]
			v = calc(i + 1)
			if u > v:
				u = v
		if i < n - 1:
			dn += c[i]
			v = calc(i + 2)
			if u > v:
				u = v
		print(u)
		return
print('-1')