题目背景

本题虽然作为《信息学奥赛一本通》第二章的习题，但是会用到第三章的知识点。

题目描述

编写一个程序，给定三条线段的长度 $a,b,c$，判断这三条线段是否能够构成三角形。如果能够构成，则计算其面积。如果不能构成，输出 No solution.（注意句号）。

输入格式

输入只有一行，包含三个正实数 $a,b,c$，小数点后最多只有一位，且每个数均不超过 $100$。

输出格式

输出只有一行，如果能构成三角形，输出三角形的面积（保留两位小数），否则输出 No solution.。

3 4 5

6.00

提示

海伦公式： 若三角形的边长为 $a, b, c$，则三角形的面积是 $\sqrt{s(s-a)(s-b)(s-c)}$，其中 $s=\frac{1}{2}(a+b+c)$。