题目背景

快递的重量可分为实际重量、体积重量和计费重量。

实际重量(AW):指包括包装在内的货物总重量。

体积重量(VW):指将货物体积转换成重量，目前国际快递体积重量的计算方法是:体积重量=长(CM)*宽(CM)*高(CM)/5000 (CM)。

计费重量(CW):将快递的实际重量与体积重量进行比较，以较大者为计费重量。

题目描述

小T想寄一件未包装重 $g$ kg,长宽高为$a、b、h$(CM)的快递，快递需打包后才能进行运输，已知快递站快递的计费规则和5种包装箱大小，想请你帮忙计算一下快递费用需要多少？

计费规则：快递首重10元，超重每续重单位加收2元（续重以0.5KG为计重单位，不足0.5kg，按0.5kg计）

包装箱型号：

输入格式

第一行 一个实数 $g$ ，表示所要寄送快递的重量

第二行 三个整数$a,b,h$，分别表示所要寄送快递的长、宽、高。

输出格式

输出一个整数，表示快递费用

样例数据

样例输入 #1

0.9
20 18 10

样例输出 #1

10

样例输入 #2

1
25 20 18

样例输出 #2

14

数据范围

对于 $40\%$ 的数据，$VW \le AW$；

对于 $60\%$ 的数据，$a \ge b \ge h$；

对于 $100\%$ 的数据，$1 \le a,b,h \le 50$，$0 \lt g \le 15$，数据保证快递能装进包装箱中。