题目描述

平面上给定 $N$ 个互不相同的点，并保证任意三个点不共线。

请从这些点中选出恰好 $K$ 个点作为顶点，组成一个凸多边形，使其面积尽可能小。

你需要输出这个最小面积的整数部分。

如果不存在满足条件的凸多边形，则输出 0。

输入格式

第一行两个整数 $N,K$。

接下来 $N$ 行，每行两个整数：

x_i y_i

表示第 $i$ 个点的坐标。

数据范围

所有坐标均为非负整数，且小于 $9999$。

保证任意三个给定点不共线。

输出格式

输出一个整数，表示能够得到的最小多边形面积的整数部分。

这里的“整数部分”指直接舍去小数部分，即向下取整，不进行四舍五入。

例如：

• 若最小面积为 $5$，输出 5；
• 若最小面积为 $5.5$，也输出 5；
• 若最小面积为 $12.5$，输出 12。

由于所有点的坐标均为整数，因此多边形面积只可能是整数或形如 $x.5$ 的半整数。

样例输入

4 3
0 0
1 1
0 10
10 0

样例输出

5