题目描述

存在一个直角三角形，它的两条直角边长度为 $a$ 和 $b$。

已知直角三角形的面积等于 $a \times b \div 2$。

请你根据给出的两条三角形直角边长度，计算出这个直角三角形的面积，并对结果四舍五入保留整数。

输入格式

输入包括一行，包含两个整数 $a,b$，表示直角三角形的两条直角边长度，数与数之间以一个空格分开。

输出格式

输出包括一行，包含一个整数，为直角三角形的面积，要求四舍五入保留整数。

1 2

1

3 5

8

样例解释

对于样例 $1$:

给定三角形面积为 $1 \times 2 \div 2 = 1$。

对于样例 $2$:

给定三角形面积为 $3 \times 5 \div 2 = 7.5$，对 $7.5$ 四舍五入保留整数的结果为 $8$。

数据规模与约定

对于 $100 \%$ 的数据，$1 \le a, b \le {10}^3$。