#ABC167C. [ABC167C] 技能提升(Skill Up)

[ABC167C] 技能提升(Skill Up)

题目描述

小高是一个编程竞赛新手,他想学习 MM 种算法。最初,他对每种算法的理解程度都是 00

小高在一家书店里,那里有 NN 本关于算法的书。第 ii 本书1iN(1 \le i \le N)的售价是 CiC_i 元。如果他购买并阅读这本书,他对第 jj 种算法的理解程度将增加 Ai,jA_{i,j}(对于每个 1jM1 \le j \le M)。除此之外,没有其他方法可以提高他对算法的理解程度。

小高的目标是使他对所有 MM 种算法的理解程度都达到或超过 XX。请判断这个目标是否可以实现。如果可以实现,请找出实现这个目标所需的最小金额。

输入格式

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

N N M M X X

C1 C_1 A1,1 A_{1,1} A1,2 A_{1,2} \cdots A1,M A_{1,M}

C2 C_2 A2,1 A_{2,1} A2,2 A_{2,2} \cdots A2,M A_{2,M}

\vdots

CN C_N AN,1 A_{N,1} AN,2 A_{N,2} \cdots AN,M A_{N,M}

输出格式

如果目标无法实现,输出 -1;否则,输出实现目标所需的最小金额。

输入输出样例 #1

输入 #1

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

输出 #1

120

输入输出样例 #2

输入 #2

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

输出 #2

-1

输入输出样例 #3

输入 #3

8 5 22
100 3 7 5 3 1
164 4 5 2 7 8
334 7 2 7 2 9
234 4 7 2 8 2
541 5 4 3 3 6
235 4 8 6 9 7
394 3 6 1 6 2
872 8 4 3 7 2

输出 #3

1067

说明/提示

样例 1 解释

购买第二本和第三本书的话,120 元就可以使他对所有算法的理解程度达到或超过 10,这是可能的最小花费。

样例 2 解释

即使购买所有的书,也不足以使他对所有算法的理解程度达到或超过 10。

数据范围

  • 所有输入值都是整数,
  • 1 N, M 12 1\leq\ N,\ M\leq\ 12
  • 1 X 105 1\leq\ X\leq\ 10^5
  • 1 Ci  105 1\leq\ C_i\ \leq\ 10^5
  • 0 Ai, j  105 0\leq\ A_{i,\ j}\ \leq\ 10^5