#include<bits/stdc++.h>
using namespace std;
int n,k,x[55],y[55],ans,m[55];
struct s{
	int x1,y1,x2,y2;
}zfx[5];
bool z=false;
bool ChongDie(){
	
}
void dfs(int u){
	if(u==n+1){
		int w;
		for(int i=0;i<k;i++){
			w+=(zfx[i].x2-zfx[i].x1)*(zfx[i].y2-zfx[i].y1);
		}
		ans=min(ans,w);
		return;
	}
	for(int i=0;i<k;i++){
		
	}
}
int main(){
	freopen("jxfg.in","r",stdin);
	freopen("jxfg.out","w",stdout);
	cin>>n>>k;
	for(int i=1;i<=n;i++){
		cin>>x[i]>>y[i];
	}
	dfs(1);
	cout<<ans;
	return 0;
}