题目描述

勾股定理是我国古代著名的数学成果，“勾三股四玄五”，精炼的描述了直角三角形的三边关系，这一结论的提出比西方早了几百年。

请输入两个变量 $a$ 和 $b$，代表直角三角形的两个直角边长，请你计算三角形的面积是多少，并保留3位小数。

$三角形面积 s = ( 底 \times 高 ）\div 2$

输入描述

一行两个整数表示 $a$ 和 $b$。

输出描述

计算得到的三角形面积，并保留 $3$ 位小数。

样例

3 4

6.000