题目描述

魔兽争霸 3 中，战略资源的采集通过使用农民、苦工、小精灵以及寺僧来进行。

在魔兽争霸 4 的开发中，玻璃渣觉得这种模式太过单一，于是他们想添加更多的单位来使采集的模式更加丰富。

在新的模式中，玩家可以建造更多种类的“苦工”，不同的“苦工”的工作效率不同，同时，建造不同的“苦工”所需要的资源也是不一样的。

玻璃渣出品的游戏以追求平衡著称，所以为了测试这种新的模式的平衡性，他们设计了一套检测的方法：在各种族的起始资源相同时，测量达到某一资源数量的时间，如果相同则可以认为设计是平衡的。

他们将数据给你，希望你能测试出设计是否平衡。

输入格式

第一行三个数，$N,M,T$，表示苦工的种类、开始时拥有的资源数量以及需要达到的资源的数量。

接下来 $N$ 行，每行2个数 $A,B$，表示生产这种苦工所需要的资源，以及这个苦工的效率，效率即为单位时间内产生的资源的数量。

输出格式

一个数字，表示资源数量达到 $T$ 时的最少时间。

注意：与魔兽争霸 3 不同，魔兽争霸 4 中，生产苦工不需要时间。并且资源的采集并不连续，亦即如果一个苦工的效率为 $2$，他会在时间为 $1$ 的时候收获 $2$ 点资源，而并不会在时间为 $0.5$ 的时候收获 $1$ 点资源。

1 1 8
1 1

4

2 1 8
1 1
2 8

3

提示

对于 $30\%$ 的数据，$N\le 10$，$M,T \le 300$；

对于 $100\%$ 的数据，$N\le 100$，$M,T \le1000$，$A,B\le 2^{31}$。

数据保证有解。