#include<bits/stdc++.h>
#define ll long long
using namespace std;
int n,k;
struct node{
	int x,y;
}a[2000];
int m[2000],c[10],ans=0x3f3f3f3f;
bool check(int z)
{
	int flag=0;
	for(int q=1;q<=2*k;q+=2)
	{
		if(a[z].x<=max(a[c[q]].x,a[c[q+1]].x)&&a[z].x>=min(a[c[q]].x,a[c[q+1]].x)&&a[z].y<=max(a[c[q]].y,a[c[q+1]].y)&&a[z].y>=min(a[c[q]].y,a[c[q+1]].y)) flag++;
	}
	if(flag==1) return 1;
	return 0;
}
void fn(int z)
{
	if(z==2*k+1)
	{
		for(int q=1;q<=n;q++)
		{
			if(!check(q))
			{
				return;
			}
		}
		int l=0;
		for(int q=1;q<=2*k;q+=2)
		{
			l+=abs((a[c[q]].x-a[c[q+1]].x)*(a[c[q]].y-a[c[q+1]].y));
		}
		ans=min(ans,l);
//		for(int q=1;q<=2*k;q++) cout<<c[q]<<" ";
//		cout<<endl;
		return;
	}
//	for(int q=1;q<=n;q++) cout<<m[q]<<" ";
//	cout<<" "<<z<<endl;
	for(int q=1;q<=n;q++)
	{
		if(m[q]==0)
		{
			c[z]=q;
			m[q]=1;
			for(int w=q+1;w<=n;w++)
			{
				if(m[w]==0)
				{
					c[z+1]=w;
					m[w]=1;
					fn(z+2);
					m[w]=0;
				}
			}
			m[q]=0;
		}
	}
}
int main(){
	freopen("jxfg.in","r",stdin);
	freopen("jxfg.out","w",stdout);
cin>>n>>k;
for(int q=1;q<=n;q++) cin>>a[q].x>>a[q].y;
fn(1);
cout<<ans;
return 0;
}