题目描述

给定三角形三条边的长度，求三角形面积。输入保证能构成非退化三角形。

输入格式

一行三个正整数 $a,b,c$。

输出格式

输出面积，保留三位小数。

样例

3 4 5

6.000

数据范围

$1\le a,b,c\le1000$，任意两边之和大于第三边。