【题目描述】

小明想学习 $M$ 种算法，初始时每种算法的理解度都是 $0$。

书店中有 $N$ 本书。第 $i$ 本书价格为 $C_i$，读完后，第 $j$ 种算法的理解度会增加 $A_{i,j}$。

小明希望所有算法的理解度都达到 $X$ 或以上。求实现目标的最小花费；如果无法实现，输出 -1。

【输入格式】

输入按以下格式从标准输入给出：

$N$   $M$   $X$

$C_1$   $A_{1,1}$   $\cdots$   $A_{1,M}$

$\vdots$

$C_N$   $A_{N,1}$   $\cdots$   $A_{N,M}$

【输出格式】

输出最小花费；无法实现时输出 -1。

【样例】

3 3 10
60 2 2 4
70 8 7 9
50 2 3 9

120

3 3 10
100 3 1 4
100 1 5 9
100 2 6 5

-1

【数据范围】

• $1 \le N,M \le 12$
• $1 \le X,C_i \le 10^5$
• $0 \le A_{i,j} \le 10^5$