满分三角形

时间限制：$1s$

空间限制：$256MB$

题目背景

$piggy$喜欢激光平面内的满分三角形

题目描述

激光平面是可以看作是直角坐标系的第一象限，其中有$n$个关键点，$x轴$和$y轴$有激光线束，$(i,0)$和$(0,i)$之间也有激光线束。一个由激光线束围成的三角形是满分三角形，当且仅当三角形内部有至少$k$个关键点。求最小的满分三角形面积

输入描述

第一行两个整数n和k
第二行至第n+1行，每行俩个整数表示关键点的坐标(xi,yi)

输出描述

共一个实数，表示最小的满分三角形面积，答案需精确到两位小数

输入样例

3 2
1 1
2 2
3 3

输出样例

8

数据范围

$30pts: n,k,a_i \leq 1000$

$60pts:n,k \leq 1000;a_i \leq 10^7$

$100pts: n,k \leq 3*10^5;a_i \leq 10^7$

所有数据保证$k \leq n$