#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define ldb double

const int N=2505;
ldb x[N],y[N];

ldb fac[N];

ldb cross(int i,int j){
	return x[i]*y[j]-y[i]*x[j];
}

ldb F(int p,int q){
	return fac[p]/fac[q];
	//ldb ans=1;
	//for(int i=p+1;i<=q;i++)ans/=i;
	//for(int i=q+1;i<=p;i++)ans*=i;
	//return ans;
}
int main(){
	int n,k;
	scanf("%i %i",&n,&k);
	for(int i=0;i<n;i++){
		scanf("%lf %lf",&x[i],&y[i]);
	}
	fac[0]=1;
	for(int i=1;i<=n;i++)fac[i]=fac[i-1]*i;
	ldb ans=0;
	for(int i=0;i<n;i++){
		for(int sz=2;sz<=n;sz++){
			int j=(i+sz-1)%n;
			if(n-sz>=k-2){
				ans-=cross(i,j)*0.5*F(n-sz,n)*F(k,k-2)*F(n-k,n-sz-k+2);
			}
		}
	}
	printf("%.12lf\n",ans);
	return 0;
}