#include<cstring>
#include<cstdio>
#include<iostream>
using namespace std;
struct wo{
	long long x;
	long long y;
}a[10001];
long long ans,n,t;
int main(){
    cin>>n>>t;
    for(int i=1;i<=n;i++){
    	cin>>a[i].x>>a[i].y;
	}
	ans=9111111111111111111;
	long long b,c,d,e;
	long long sum=0;
	for(int i=1;i<=n;i++){
		for(int j=1;j<=n;j++){
			for(int k=1;k<=n;k++){
				for(int l=1;l<=n;l++){
					b=a[i].x,c=a[j].x,d=a[k].y,e=a[l].y;
					sum=0;
					if(b>c)swap(b,c);
					if(d>e)swap(d,e);
					for(int m=1;m<=n;m++){
						if(b<=a[m].x&&c>=a[m].x&&d<=a[m].y&&e>=a[m].y){
							sum++;
						}
					}
					if(sum>=t)ans=min(ans,(c-b)*(e-d));
				}
			}
		}
	}
    cout<<ans;
}