小杨买饮料

问题描述

小杨来到了一家商店，打算购买一些饮料。这家商店总共出售 $N$ 种饮料，编号从0至 $N-1$，其中编号为 $i$ 的饮料售价 $c_i$ 元，容量 $l_i$ 毫升。

小杨的需求有如下几点：

1. 小杨想要尽可能尝试不同种类的饮料，因此他希望每种饮料至多购买1瓶；
2. 小杨很渴，所以他想要购买总容量不低于 $L$ 的饮料；
3. 小杨勤俭节约，所以在1和2的前提下，他希望使用尽可能少的费用。

方便起见，你只需要输出最少花费的费用即可。特别地，如果不能满足小杨的要求，则输出 no solution。

输入描述

第一行两个整数 $N,L$。

接下来 $N$ 行，依次描述第 $i=0,1,\ldots,N-1$ 种饮料：每行两个整数 $c_i,l_i$。

输出描述

输出一行一个整数，表示最少需要花费多少钱，才能满足小杨的要求。特别地，如果不能满足要求，则输出 no solution。

特别提醒

在常规程序中，输入、输出时提供提示是好习惯。但在本场考试中，由于系统限定，请不要在输入、输出时附带任何提示信息。

样例输入 1

15 1002100 200032 5044 4055 3063 20

样例输出 1

19

样例解释 1

小杨可以购买1、2、4号饮料，总计获得 $50+40+20=110$ 毫升饮料，花费 $2+4+3=9$ 元。

如果只考虑前两项需求，小杨也可以购买1、3、4号饮料，它们的容量总和 $50+30+20=100$ 毫升，可以满足需求。但遗憾的是，这个方案需要花费 $2+5+3=10$ 元。

样例输入 2

15 1412100 200032 5044 4055 3063 20

样例输出 2

1100

样例解释 2

号饮料总计 毫升，如每种饮料至多购买 1 瓶，则恰好无法满足需求，因此只能花费 元购买 号饮

料。

样例输入 3

14 14122 5034 4045 3053 20

样例输出 3

1no solution

数据规模

对于40%的测试点，保证 $N\le20$；$1\le L\le100$；$l_i\le100$。

对于70%的测试点，保证 $l_i\le100$。

对于所有测试点，保证 $1\le N\le500$；$1\le L\le2000$；$1\le c_i,l_i\le10^6$。