配点 : $100$ 点

問題文

直角三角形 $ABC$ があります。$\angle ABC=90^\circ$ です。

三角形 $ABC$ の三辺の長さである $|AB|,|BC|,|CA|$ が与えられるので、直角三角形 $ABC$ の面積を求めて下さい。

ただし、三角形 $ABC$ の面積は整数となることが保証されています。

制約

• $1 \leqq |AB|,|BC|,|CA| \leqq 100$
• 入力はすべて整数である。
• 三角形 $ABC$ の面積は整数である。

入力

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

$|AB|$ $|BC|$ $|CA|$

出力

三角形 $ABC$ の面積を出力してください。

3 4 5

6

この三角形の面積は $6$ です。

5 12 13

30

この三角形の面積は $30$ です。

45 28 53

630

この三角形の面積は $630$ です。