U239390 课间

> 题外话：今天的小 $P$ （$14$ 班） 和小 $D$（$11$ 班） 成为了校友。 注：此“小 D”非彼“小 D”。 ------------ 在小学的时候，小 $P$ 和 小 $D$ 是同桌，他们俩成绩优异，尤其是小 $P$。当小 $D$ 遇到难题的时候，会请小 $P$ 帮忙。 这天大课间，小 $D$ 做一张卷子，遇到了一大堆难题，来找小 $P$ 。

小 $P$ 学校的大课间共 $m$ 分钟，小 $P$ 在这期间不会去做其他事。 小 $D$ 的卷子上共有 $n$ 道题不会。她不会的题有两种： - 属实不会的，需要小 $P$ 帮忙； - 需要一段时间来解决，但是不用 小 $P$ 帮忙。 请注意：如果小 $P$ 给 小 $D$ 讲解的用时大于小 $D$ 自己死磕的用时，就说明小 $D$ 会这道题；**若小 $D$ 会这道题，保证小 $D$ 的解题用时比小 $P$ 讲同一道题的用时短**；小 $P$ 讲题时小 $D$ 不能做题，否则会遭到小 $P$ 的嫌弃。 小 $D$ 希望自己这套卷子能拿到 $k$ 分，如果考到了 $k$ 分（或以上）任务就完成了；反之还是会遭到小 $P$ 的嫌弃。如果最好的方法超出了大课间的时长，也算任务没完成。 测试点中，可能出现价值（分数）为 $0$ 的情况。 现在要求小 $D$ 和 小 $P$ 要在尽量短的时间内完成任务，请你写程序帮忙计算出他们最少需要多长时间；如果不能完成任务输出 `Oh no!`。

**本题有多组测试数据。** 输入共 $n+1$ 行数据。 第 $1$ 行输入两个正整数 $n、m、k$ ，表示大课间时长、小 $D$ 不会的题的数量和小 $D$ 期望的分数。 第 $2$ 至第 $n+1$ 行，每行输入三个正整数，分别表示： - 小 $P$ 给小 $D$ 讲解的时长； - 小 $D$ 自己做题的时长。 - 此题的分数。

输出一个整数，表示小 $D$ 和小 $P$ 做题需要的最短时间；如果无解请输出 `Oh no!`。

### 数据范围 在 $100\%$ 的情况下，保证 $n,m\le 20、k\le 30$ 。 ### 样例说明 ```markup 15 5 8 // 15分钟，5道题，满足8分 10 5 3 // 5分钟，能拿3分 (1) 3 5 4 // 3分钟，能拿4分 (2) 1 8 2 // 1分钟，能拿2分 (3) 2 3 6 // 2分钟，能拿6分 (4) 5 6 6 // 5分钟，能拿6分 (5) ``` 所以选择方案$(3)、(4)$。