测试数据来自 IkeLiu/1008

背景

家鸡很喜欢打死亡代码，自认为自己是一名高手。于是，在中士以及Ike的建议下，他开始打河边(地图)自由(玩法)疯狂(难度)人机。他成功以0:30的战绩完败。于是他决定练习 两年半 死亡代码技术。

题目描述

死亡代码的每一局代码都会有三个参数：地图，玩法，难度。如果家鸡想要赢这一局代码，他的能力值至少要到达 地图X玩法X难度，而打完这局代码可以获得 \(地图×难度+玩法×难度÷2\) 能力值。

输入格式

共4行。
第一行，一个整数，是家鸡刚开始的能力值。
第二行，是六种地图的能力值。
第三行，是六种玩法的能力值。
第四行，是四种难度的能力值。

输出格式

一行，一个整数，是家鸡最少要打多少把代码才能赢河边自由疯狂人机。

输入样例

400
10 5 4 3 2 1
10 9 5 3 2 1
10 9 8 7

输出样例

9

样例解释

\(400+(5+5)×10÷2×2+(5+9)×10÷2×7=1010.\)

限制

1秒 256MB

提示

死亡代码yyds!

可能会用到的信息

死亡代码中有：
6种地图(按大小排序)：河边、管区、前哨、住宅区、低迷、沙暴;
6种玩法(按刺激程度排序)：自由、团队死亡竞赛、夺旗、拆除、团队防守、占点;
4种难度：疯狂、困难、普通、新手。