No submission language available for this problem.

Background

关小山要不断地磨练自己的灵力，就独自到后山去修炼。修炼一种叫太阳神拳的仙术。用两只手的大拇指尖对大拇指尖，食指指尖对食指指尖，组成一个三角形，将灵力凝聚到这三角区域，然后发射出去。不幸的是，关小山没控制好力度，直接将面前的灵植毁掉了，心里想着，完了，要赔偿了。

Description

灵植是非常值钱的，部分灵植甚至于 100 年开花，100 年结果。把关小山卖了都无法抵偿。不过后山长老看他那么努力，就慷慨地大手一挥，就以平均每个单位面积赔偿 k 块灵石就行。现已知关小山破坏地灵植的区域是一个三个单位边长为 a, b, c 的三角形，问他一共要赔偿多少灵石。

灵石只能一块一块的，因此不足一块的情况下，当一块进行处理，例如计算出 5.6 块灵石，得给 6 块

Format

Input

输入有一行 4 个数，第一个数是一个整数 k，表示单位面积灵植所需要赔偿的灵石。之后三个数是实数，表示被破坏的三角形灵植区域的三边长。

Output

输出一个整数，表示关小山需要赔偿的灵石总数。

Samples

1 3 4 5

6

1 6 7 8

21

Limitation

0 ≤ k ≤ 1000

0 ＜ a, b, c ＜ 100