题目描述

给定一个 ∠ABC=90° 的直角三角形的三条边： $|AB|,|BC|,|CA|$ ，请输出这个三角形的面积。保证答案为整数。

输入格式

输入以以下形式从标准输入中给出。

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

输出格式

输出三角形的面积

输入输出样例 #1

输入 #1

3 4 5

输出 #1

6

输入输出样例 #2

输入 #2

5 12 13

输出 #2

30

输入输出样例 #3

输入 #3

45 28 53

输出 #3

630

说明/提示

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