输入格式

入力は以下の形式で標準入力から与えられる。

$N$ $K$ $P$ $C_1$ $A_{1,1}$ $A_{1,2}$ $\dots$ $A_{1,K}$ $C_2$ $A_{2,1}$ $A_{2,2}$ $\dots$ $A_{2,K}$ $\dots$ $C_N$ $A_{N,1}$ $A_{N,2}$ $\dots$ $A_{N,K}$

输出格式

AtCoder 社が目標を達成出来るならば目標を達成するのに必要なコストの総和の最小値を、出来ないならば -1 を出力せよ。

样例 #1

样例输入 #1

4 3 5
5 3 0 2
3 1 2 3
3 2 4 0
1 0 1 4

样例输出 #1

9

样例 #2

样例输入 #2

7 3 5
85 1 0 1
37 1 1 0
38 2 0 0
45 0 2 2
67 1 1 0
12 2 2 0
94 2 2 1

样例输出 #2

-1

提示

制約

• $1\ \le\ N\ \le\ 100$
• $1\ \le\ K,P\ \le\ 5$
• $ 0\ \le\ A_{i,j}\ \le\ P(1\ \le\ i\ \le\ N,1\ \le\ j\ \le\ K) $
• $1\ \le\ C_i\ \le\ 10^9(1\ \le\ i\ \le\ N)$
• 入力は全て整数

Sample Explanation 1

$1$ 個目と $3$ 個目と $4$ 個目の開発案を実行すると、それぞれのパラメーターが $3+2+0=5,0+4+1=5,2+0+4=6$ で全て $5$ 以上となるため目標を達成できます。この場合コストの総和は $5\ +\ 3\ +\ 1\ =\ 9$ となります。 コストの総和 $8$ 以下で目標を達成することは出来ません。よって答えは $9$ です。

Sample Explanation 2

どのようにしても目標を達成することは出来ません。よって -1 を出力します。