科丁博士的家乡附近有一座山，山里住着一只大怪物。作为家乡的英雄，科丁博士决定去杀了这只怪物。
现在我们知道科丁博士有n种法术，怪物的血量为m，当怪物的血量 <= 0 的时候意味着怪物被杀死了。在不同的时间使用不同的魔法，就有不一样的效果。
现在通过表达式(A, M)，告诉你每种魔法的效果。A表示这魔法能打掉怪兽A点血。M表示但怪兽的 血量 <= M的时候用这种魔法，魔法伤害加倍。

输入包含许多测试数据。
每个测试前两个整数n，m（2 < n < 10, 1 < m < 10^7），n表示科丁博士的法术数量，m表示怪兽血量。
接下来的n行，每行表示一个魔法 (Ai，Mi)。(0 < Ai, Mi <=m)。

每个用例输出一个整数，表示科丁博士杀死怪兽最少用的法术数目。如果科丁博士不能杀死怪兽输出-1。

输入输出 其他 2015 level5