皮卡丘和他的朋友四小正是好朋友，今天他决定炒菜给四小正吃，但四小正的食量大得惊人哪是皮卡丘喂得饱的，于是皮卡丘找来了会用电脑控制挖掘机炒菜的冯富帅，冯富帅会炒n种菜，每种菜能让四小正获得不同的满足度，四小正对所有菜的份数需求都是无限的，每种都要用挖掘机进行大量的操作，这是非常消耗能量的，幸好冯富帅精通电路，皮卡丘可以把自己的电力供给给挖掘机，皮卡丘希望能让四小正吃个痛快，请帮帮他。
输入直到文件尾，每组n，m（n<=100，m<=10000）分别表示菜的种数和皮卡丘拥有的电力，接下来n行每行两个数a，b（a，b<=100）分别表示这道菜做一次需要的电力和能给四小正带来的满足度。
四小正可以获得的最大满足度。
2 10
1 1
2 110皮卡丘拥有的原料数是无限的