10347 - Medians

給定三角形三中線的長度，請你求出三角形的面積。中線為頂點與對邊中點的連線，三中線的交點即為重心。

Input

輸入包含1000列資料，每筆資料有三個數值(整數或浮點數)表示三角形三中線的長度，所有長度皆小於100。以EOF結束輸入。

Output

請依要求輸出三角形面積，若無法形成一個正確的三解形時請輸出-1.000。請輸出到小數點下三位。

Sample Input

3 3 3

3.0 3.0 3.0

Sample Output

5.196

5.196

---

原文出處