很久很久以前,在遥远的土地上,有一个庞大而富饶的王国,由 $N$ 座城堡组成,居民们居住在其中。有趣的是,这个王国并非由一位国王统治,而是由两位国王共同统治。东方国王住在最东边的城堡,而西方国王住在最西边的城堡。不幸的是,居民们平静的生活被一伙正向王国疾驰而来的强盗打破了。
时间紧迫,接下来的两周至关重要,如果不采取极端措施,王国将无法得到全面保护。国王们怀着沉重的心情决定选择恰好 $K$ 座城堡进行重点加固,并将剩余 $N - K$ 座城堡的居民迁移走。当然,在这 $K$ 座被加固的城堡中,必须包含两位国王各自居住的城堡。此外,他们将用围墙围住这些加固后的城堡,使其形成这些城堡集合的凸包。请注意,空的城堡可能位于该凸包内部,也可能不在。
合乎逻辑的是,国王们决定加固 $K$ 座城堡,使得围墙所围成的区域面积尽可能大。请计算该面积。
说明:一组点的凸包对应于包含该集合中所有点(在其边上、顶点上或内部)的最小面积凸多边形。
输入格式
第一行包含自然数 $N$ 和 $K$ ($3 \le K \le N$)。
接下来的 $N$ 行中,第 $i$ 行包含两个整数 $x_i$ 和 $y_i$ ($0 \le |x_i|, |y_i| \le 10^9$),表示第 $i$ 座城堡在坐标平面上的位置 $(x_i, y_i)$。保证没有任何两座城堡位于同一位置。
此外,上述城堡中的第一座对应西方国王的城堡 ($y_1 = 0, x_1 < x_i, i \neq 1$),而第二座对应东方国王的城堡 ($y_2 = 0, x_2 > x_i, i \neq 2$)。请注意,这两座城堡都位于 $x$ 轴上。
输出格式
输出一行,包含一个实数,表示题目要求的最大面积。
输出面积时应去除前导零和多余的尾随零。例如,如果要求的面积为 $3.14$,则输出 $03.14$ 或 $3.1400$ 是不被接受的。
子任务
| 子任务 | 分值 | 数据范围 |
|---|---|---|
| 1 | 11 | $3 \le N \le 20$ |
| 2 | 25 | $3 \le N \le 100$ |
| 3 | 15 | $3 \le N \le 500$ |
| 4 | 49 | $3 \le N \le 3\,000$ |
样例
输入 1
6 4 0 0 9 0 2 8 6 5 2 -7 8 -7
输出 1
67.5
说明 1
加固位于 $(0, 0)$、$(2, -7)$、$(2, 8)$ 和 $(9, 0)$ 的城堡是最优方案,如图左侧所示。
输入 2
5 3 0 0 10 0 5 0 5 5 5 -5
输出 2
25
说明 2
加固位于 $(0, 0)$、$(10, 0)$ 和 $(5, -5)$ 的城堡是最优方案,如图右侧所示。
输入 3
8 5 0 0 15 0 2 -2 4 12 10 -14 6 -12 2 -10 13 10
输出 3
238