直角三角形

题目描述

有一个直角三角形 $ABC$,$\angle ABC=90^\circ$。

给定三角形 $ABC$ 的三条边的长度 $|AB|,|BC|,|CA|$,请计算直角三角形 $ABC$ 的面积。

注意,保证三角形 $ABC$ 的面积为整数。

输入格式

输入按以下格式从标准输入给出:

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

输出格式

输出三角形 $ABC$ 的面积。

样例

3 4 5

6

这个三角形的面积是 $6$。

5 12 13

30

这个三角形的面积是 $30$。

45 28 53

630

这个三角形的面积是 $630$。

数据范围

• $1 \leqq |AB|,|BC|,|CA| \leqq 100$
• 输入均为整数。
• 三角形 $ABC$ 的面积为整数。