题目描述

  开学在即，学生上学需要佩戴口罩，因此学校需要采购大量的口罩，计划购买 $M$ 盒。这个任务落在了刘老师身上，他已经拿到了 $N$ 个供应商的货源信息，每个供应商的价格和供应量均不相同，刘老师需要挑选出一些供应商来满足购买的需求。

  但是刘老师比较头疼，如何采购才能使得花费最小呢？

输入格式

第一行，两个整数 $N$ 和 $M$，$N$ 表示的是口罩供应商的数量，$M$ 表示需要采买的口罩总量。

接下来 $N$ 行，是用空格隔开的一个小数和一个整数，分别表示第 $i$ 个供应商的单价 $x_i$ 和这个供应商的供应量 $y_i$。

输出格式

一行，一个小数，表示刘老师要采购 $M$ 盒口罩所需要的最小花费，小数点后保留一位小数。

样例

输入#1

5 1000
19.0 100
21.0 200
18.0 300
22.0 800
25.0 400

输出#1

20300.0

解释#1

需要采购 1000 盒口罩，18.0 元的供应商采购 300 盒，19.0 元的供应商采购 100 盒，21.0 元的供应商采购 200 盒，22.0 元的供应商采购 400 盒，总花费是 20300.0 元。

数据范围/约定

对于 100% 的测试数据满足：$1≤N≤1000，1≤M≤10^6$，$1≤x_i≤50, 1≤y_i≤10^6$。