问题文

CODE FESTIVAL 2015决赛中，有个人进行了一项有趣的行动，“拿着写着‘天才’的大纸站着”，逗得所有人都笑了。
因此，CODE FESTIVAL 2018决赛的参赛者们决定采取同样的行动，拍摄合照。

每个人都有两个值：“字的漂亮程度”和“脸的有趣程度”。第$i$个人的“字的漂亮程度”是$a_i$，“脸的有趣程度”是$b_i$。合照的“好感度”是所有人的（字的漂亮程度）×（脸的有趣程度）之和。

参赛者们打算最大化合照的“好感度”。虽然无法改变“脸的有趣程度”，但每个人进行一次训练后，他们的“字的漂亮程度”会增加1。要求所有人的训练次数总和不超过$X$次，请求出合照的最大“好感度”。

制约条件

• $N$是$1$到$100$之间的整数
• $X$是$0$到$100$之间的整数
• $a_i, b_i \\ (1 \\leq i \\leq N)$ 是 $1$ 以上 $100$ 以下的整数

输入

输入以以下格式从标准输入中给出。

$N$ $X$ $a_1$ $b_1$ $a_2$ $b_2$ $a_3$ $b_3$ $:$ $:$ $a_N$ $b_N$

输出

输出合照的最大“好感度”。

输入例 1

3 1
12 10
24 20
36 5

输出例 1

800

因为$X=1$，所以最多只能进行$1$次训练。因此，有以下$4$种可能的情况：

• 没有人进行训练：合照的好感度为$12 \times 10 + 24 \times 20 + 36 \times 5 = 780$
• 第$1$个人进行$1$次训练：合照的好感度为$13 \times 10 + 24 \times 20 + 36 \times 5 = 790$
• 第$2$个人进行$1$次训练：合照的好感度为$12 \times 10 + 25 \times 20 + 36 \times 5 = 800$
• 第$3$个人进行$1$次训练：合照的好感度为$12 \times 10 + 24 \times 20 + 37 \times 5 = 785$

因此，合照的最大“好感度”是$800$。

输入例 2

3 0
25 20
17 30
9 50

输出例 2

1460

因为$X=0$，所以没有人可以进行训练。因此，合照的好感度是$25 \times 20 + 17 \times 30 + 9 \times 50 = 1460$。

输入例 3

3 3
3 25
5 12
7 25

输出例 3

385

例如，第$1$个人进行$2$次训练，第$3$个人进行$1$次训练，合照的好感度可以达到$385$。
另外，无法使合照的好感度大于$385$。