题目描述

每天一杯奶，健壮切题人。

Meowowco 有每天喝牛奶的习惯，因为牛奶是膳食中蛋白质、钙、磷、维生素 A、维生素 D 和维生素 B2 的重要来源之一，可以让经常出勤的 Meowowco 变得健壮。因此她每个月都会去买一些牛奶屯在冰箱里。

今天又到了采购的日子，Meowowco 又来到了熟悉的超市，看着冰箱里陈列着价格不同的牛奶，她摸了摸自己的钱包，

“糟糕，出勤花了太多的钱了。。。。。。”

不过这都不是问题，毕竟又不是把所有钱都花完了，只是预算被压缩了。现在问题来了，冰箱里有 $n$ 个种类的牛奶，它们有各自的数量 $a_i$ 和价格 $b_i$。作为一只学过动态规划的猫，Meowowco 一个月需要 $m$ 盒牛奶，她想知道屯够一个月的牛奶量的最小开销。

输入格式

第一行二个整数 $n,m$，表示牛奶的种类和牛奶需求量。

接下来 $n$ 行，每行两个整数 $a_i,b_i$，表示第 $i$ 种牛奶的数量（盒），和这种牛奶的单价（元）。

保证超市里牛奶的数量大于等于 Meowowco 的需求，即保证 $\sum a_i \geq m$。

输出格式

包含一个整数，表示 Meowowco 采购所需的牛奶所要的最小费用。

输入输出样例 #1

输入 #1

5 100
20 5
40 9
10 3
80 8
30 6

输出 #1

630

说明/提示

• 对于所有数据：$1 \leq a_i \leq 100$，$1 \leq b_i \leq 10^5$