题目描述

判定三条线段 $a$，$b$，$c$ 能否构成一个直角三角形。如果能构成，请计算出面积（保留一位小数），不然输出 No。

输入格式

一行，三个整数。

输出格式

面积（保留一位小数） 或 No

3 4 5

6.0

1 2 3

No

提示

满足 $a​^2 + b​^2 ​=c​^2$​，即是直角三角形。

数据范围

$1 \le a,b,c \le 1000$