题目描述

有一个直角三角形 $ABC$，其中 $∠ABC=90°$。

给定三条边的长度 $|AB|,|BC|$ 和 $|CA|$，求解直角三角形 $ABC$ 的面积。

保证三角形 $ABC$ 的面积是一个整数。

约束条件

• $1 \\leq |AB|,|BC|,|CA| \\leq 100$
• 输入中的所有值均为整数。
• 三角形 $ABC$ 的面积是一个整数。

输入

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

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

输出

打印直角三角形 $ABC$ 的面积。

示例输入 1

3 4 5

示例输出 1

6

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

示例输入 2

5 12 13

示例输出 2

30

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

示例输入 3

45 28 53

示例输出 3

630

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