题目描述 给定一个三角形场地和一根一定长度的绳子（如图 1 所示），要求用绳子在场地内围出一个区域，使该区域的面积尽可能大。

输入

输入包含多组测试数据，每组数据为一行，包含四个用空格分隔的数字。前三个数字表示三角形场地的三条边长度，第四个数字为绳子的长度。所有数字均精确到小数点后四位。输入以包含四个 $0$ 的行结束，该行无需处理。保证三角形的每条边长度不超过$100.0000$，绳子长度不超过三角形的周长。 输出 对于每组数据，按以下格式输出一行： Case i: X 其中 $i$ 为测试用例编号，$X$ 为能围出的最大面积，精确到小数点后两位。 输入输出示例 输入数据 1：

plaintext

12.0000 23.0000 17.0000 40.0000
84.0000 35.0000 91.0000 210.0000
100.0000 100.0000 100.0000 181.3800
0 0 0 0

输出数据 1：

plaintext

Case 1: 89.35
Case 2: 1470.00
Case 3: 2618.00