1860 - 星舰
描述

有一个足球球队了 n 场比赛,每场比赛有胜利、平局、失败 3 种情况。比赛会进行 小组积分,胜利加 3 分,平局加 1 分,分数不变。为了让积分更多,你使用了最强大脑预 测了比赛情况,其中,第 i 场比赛我方进了 Ai 个球,对方进了 Bi 个求。现在你可以针 对预测的比赛对队员进行强化,每次强化用在一场比赛上,可以让这场比赛多进一个球, 每场比赛可以强化多次或者不强化,并以总共只能强化 m 次,问最多能积分多少?

注意: 你的某次强化并不会干扰其他比赛进程,可以看作每场比赛和队员都互相独立。

输入

第一行两个整数 n, m。 

接下来 n 行每行两个整数,第 i 行两个整数代表 Ai , Bi。

输出

一行一个整数,表示最大积分。

样例

输入

10 10
9 9
75 75
73 73
21 21
62 62
50 50
87 87
15 15
1 71
48 48

输出

27
提示

对于所有测试点:1 ≤ n ≤ 2 × 10^5 , 0 ≤ Ai , Bi ≤ 100, 0 ≤ m ≤ 2 × 10^5

测试点1~3:  1 \leq n,m \leq 10

测试点4~5:  1 \leq n,m \leq 100

测试点6~10:  1 \leq n,m \leq 2 \times 10^5

题目参数
时间限制 1 秒
内存限制 128 MB
提交次数 26
通过次数 10