题目描述

There is a right triangle $ABC$ with $∠ABC=90$.

Given the lengths of the three sides, $|AB|,|BC|$ and $|CA|$, find the area of the right triangle $ABC$.

It is guaranteed that the area of the triangle $ABC$ is an integer.

有一个直角三角形 $ABC$ 与 $∠ABC=90$ 。

已知三边的长度分别为 $|AB|,|BC|$ 和 $|CA|$ ，求直角三角形 $ABC$ 的面积。

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

输入格式

输入内容按以下格式标准输入：

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

输出格式

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

样例 #1

样例输入 #1

3 4 5

样例输出 #1

6

样例 #2

样例输入 #2

5 12 13

样例输出 #2

30

样例 #3

样例输入 #3

45 28 53

样例输出 #3

630

说明

数据规模与约定

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

样例 $1$ 解释

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

样例 $2$ 解释

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

样例 $3$ 解释

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