题目描述

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

输入格式

三个正整数，分别表示三角形的三条边长度，不超过 $100$。

输出格式

三角形的面积。

3 4 5

6

5 12 13

30

45 28 53

630