Description
有一天国王的部下发现了m座矿山，里面有许多金矿。但是，擅长开采金矿的工人只有n个，并且每座矿山需要的矿工和开采的矿石数量不一样。每座矿山可以开采金矿x吨，需要y名矿工。请问国王以最优的分配方式分配这n个人，最多可以开采多少吨矿石。
Input
多组数据输入，第一行两个数 为矿山数m和矿工数n。接下来是m行，每行两个数，分别代表每座矿山需要的矿工数y和可以开采出的矿石x吨。 (1<m,n<1000)
Output
多组数据输出，输出每组数据最多能开采多少吨矿石。
3 10
3 4
4 5
5 6
4 15
4 5
5 6
6 7
7 8