题目描述

wbt有一种神奇的能力，只要你告诉他直角三角形直角边长a, b求三角形他就可以告诉你三角形的面积（结果保证是整数）。你也可以变得和他一样厉害， 只需要你编写现在需要你编写一个程序，你就能拥有和他一样的能力。

输入格式

共一行：2个数a,b，对应直角三角形2个直角边的长度（1 <= a, b <= 1e6）

输出格式

输出这个直角三角形的面积。

样例

输入样例

3 4

输出样例

6

数据范围与提示

$3 * 4 / 2 = 6$