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

signed main() {
	int N,K;
	cin>>N>>K;
	int c;
	int ans=5000000000000000000;
	std::vector<int> x(N),y(N);
	for(int i=0;i<N;i++)cin>>x[i]>>y[i];
	for(int xi=0;xi<N;xi++){
		for(int xj=xi+1;xj<N;xj++){
			for(int yi=0;yi<N;yi++){
				for(int yj=yi+1;yj<N;yj++){
					c=0;
					for(int i=0;i<N;i++){
						if(min(x[xi],x[xj])<=x[i]&&max(x[xi],x[xj])>=x[i]&&min(y[yi],y[yj])<=y[i]&&max(y[yi],y[yj])>=y[i]){
							c++;
						}
					}
					if(c>=K)ans=min(ans,(max(x[xi],x[xj])-min(x[xi],x[xj]))*(max(y[yi],y[yj])-min(y[yi],y[yj])));
				}
			}
		}
	}
	cout<<ans<<endl;
}
