题目描述

一个五边形被两条对角线分成三个内部不重叠的三角形。

• 第一个三角形的三边为 $b_1,b_5,b_6$。
• 第二个三角形的三边为 $b_2,b_6,b_7$。
• 第三个三角形的三边为 $b_3,b_4,b_7$。

已知这七条线段的长度，求五边形面积。

输入格式

一行七个实数，依次为 $b_1$ 到 $b_7$。

输出格式

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

样例

1 1 1 1 1 1 1

1.299

数据范围

$0<b_i\le2000$，最多八位小数；保证三个三角形均非退化，且能够按题意组成五边形。