题目描述

过去的几年全国都在饱受新型冠状病毒疫情的困扰，疫情当前我们最大的贡献就是闭门不出。同时各个社区也有社区志愿者战斗在”防疫一线”，帮助居民采购生活物资，在社区门口管理和登记车辆和行人的出入等。小创的妈妈就是社区志愿者中的一员，负责物资的采购，而今天要采购的物资是大米，小创的妈妈一共需要采买M斤大米，小创的妈妈已经拿到了N名大米供应商的信息，每个供应商的价格不同，每个供应商的供应量也不一定相同，小创的妈妈需要挑选出一些供应商来满足采买需求。 但是小创的妈妈比较头疼，若要采购足够量的大米(如果总的供应量不足，那么尽可能的购买最多)，如何采购才能使得花费最小呢？请你帮助小创的妈妈来解决这个问题吧。

输入格式

第一行，两个整数N和M，N表示的是大米供应商的数量，M表示需要采买的大米总量。 1≤N≤1000，0≤M≤10^6 接下来N行，是用空格隔开的一个小数和一个整数，分别表示第i个供应商的单价xi和这个供应商的供应量yi 1≤Xi≤10，0≤yi≤10^6

输出格式

一行，一个小数，表示小创妈妈要采购M斤大米所需要的最小花费，小数点后保留一位小数。

样例数据

input

5 1000
1.9 100
2.1 200
1.8 300
2.2 800
2.5 400

output

2030.0

样例说明

需要采购的大米是1000斤，1.8元的供应商采购300斤，1.9元的供应商采购100斤，2.1元的供应商采购200斤，2.2元的供应商采购400斤，总花费是2030.0元。