Time Limit: 1 Sec, Memory Limit: 128 Mb
Nasa 需要为 m 名 ACM 参赛选手准备食物，他决定为所有选手准备相同的套餐，套餐由 n 种不同的食物组成。由于口味不同，不同人吃一个单位的某种食物所获得的满足感可能不同，同时每个人的满足感是有上限的。为了不浪费食物，求在不超过任何人的满足感的前提下 Nasa 最多能花费多少钱。
第一行包含 2 个正整数 n(3 ≤ n ≤ 20) 和 m(3 ≤ m ≤ 20)，代表食物的种类数和选手数
第二行包含 n 个实数，代表每种食物的单价
接下来的 m 行依次代表 m 名选手，每行包含 n + 1 个实数。每行的前 n 个数中，第 i 个数代表该名选手从一个单位的第 i 种食物中所获得的满足感。第 n + 1 个数为该名选手的满足感上限。
输出 “Nasa can spend xxx taka.” （不带引号），其中 xxx 为一个整数（向上取整），代表 Nasa 的最大花费
3 3
1 0.67 1.67
1 2 1 430
3 0 2 460
1 4 0 420
Nasa can spend 1354 taka.
注意浮点误差