A - Right Triangle

Time Limit: 2 sec / Memory Limit: 1024 MB

配点 : 100

問題文

直角三角形 ABC があります。∠ABC=90° です。

三角形 ABC の三辺の長さである |AB|,|BC|,|CA| が与えられるので、直角三角形 ABC の面積を求めて下さい。

ただし、三角形 ABC の面積は整数となることが保証されています。

制約

  • 1 \leqq |AB|,|BC|,|CA| \leqq 100
  • 入力はすべて整数である。
  • 三角形 ABC の面積は整数である。

入力

入力は以下の形式で標準入力から与えられます。

|AB| |BC| |CA|

出力

三角形 ABC の面積を出力してください。


入力例 1

3 4 5

出力例 1

6

tri

この三角形の面積は 6 です。


入力例 2

5 12 13

出力例 2

30

この三角形の面積は 30 です。


入力例 3

45 28 53

出力例 3

630

この三角形の面積は 630 です。

Score : 100 points

Problem Statement

There is a right triangle ABC with ∠ABC=90°.

Given the lengths of the three sides, |AB|,|BC| and |CA|, find the area of the right triangle ABC.

It is guaranteed that the area of the triangle ABC is an integer.

Constraints

  • 1 \leq |AB|,|BC|,|CA| \leq 100
  • All values in input are integers.
  • The area of the triangle ABC is an integer.

Input

Input is given from Standard Input in the following format:

|AB| |BC| |CA|

Output

Print the area of the triangle ABC.


Sample Input 1

3 4 5

Sample Output 1

6

tri

This triangle has an area of 6.


Sample Input 2

5 12 13

Sample Output 2

30

This triangle has an area of 30.


Sample Input 3

45 28 53

Sample Output 3

630

This triangle has an area of 630.