/*
オーダー
10**6	余裕を持って間に合う	
10**7	おそらく間に合う	余裕を持って間に合う
10**8	非常にシンプルな処理でない限り厳しい	おそらく間に合う
10**9		非常にシンプルな処理でない限り厳しい
logn	:OK
n		:10^7
nlogn	:10^6
n**2	:10^4
n**3	:300
2**n	:20
n!		:10



// 各桁の和を計算する関数
int findSumOfDigits(int n) {
  int sum = 0;
  while (n > 0) { // n が 0 になるまで
    sum += n % 10;
    n /= 10;
  }
  return sum;
}

sort(a, a + N, greater<int>());  // a[0:N] を大きい順にソート

int num[110] = {0};  // バケット
for (int i = 0; i < N; ++i) {
    num[d[i]]++;  // d[i] が 1 個増える
}

map<string, int> mp; // 連想配列 map<キー型, 値型> オブジェクト名
for (int i = 0; i < N; ++i) {
    auto itr = mp.find(s[i]);        // s[i] が設定されているか？
    if(itr != mp.end() ) {
         mp[s[i]] += 1;
    }
    else {
         mp[s[i]] += 1 ;
    }
}
stack<int> s;	//intをデータとするスタックを用意
s.push(1);		//{} -> {1}
printf("%d\n", s.top());	// 3
s.pop();

queue<int> que;	//intをデータとするキューを用意
que.push(1);		//{} -> {1}
printf("%d\n", que.front());	// 1
que.pop();
*/

#include <iostream>
#include <set>
#include <map>
#include <string>
#include <math.h>
#include <algorithm>
#include <vector>
#include <stack>
#include <queue>
#include <bitset>
#include <string.h>

using namespace std;

// #define for(i,a,b) for (int i=(a);i<(b);++i)
typedef long long ll;
typedef pair<ll,ll> P;
#define REP(i,n) for(long long i = 0; i < (long long)(n); i++)
#define pb push_back // vectorに要素追加
#define INF (ll)1e18
// int 
// // 各桁の和を計算する関数
// int findSumOfDigits(int n) {
//   int amari = 0;
//   int keta = 0;
//   while (n > 0) { // n が 0 になるまで
//     amari += n % 2;
//     if (keta%2==0)
//     n /= 10;
//   }
//   return sum;
// }
 
ll gcd(ll a, ll b) {
	if(b == 0) return a;
	return gcd(b, a % b);
}

// const ll MAX_N = 1e5;
// ll N;
// ll h[MAX_N];
// ll dp[MAX_N+1]; // メモ化テーブル
 
// // i番目以降の品物から重さの総和がj以下になるように選ぶ
// void rec(ll i){
// 	if (i==0) dp[i] = 0;
// 	else if (i==1) dp[i] = abs(h[1]-h[0]);
// 	else dp[i] = min(dp[i-1]+abs(h[i]-h[i-1]), dp[i-2]+abs(h[i]-h[i-2]));
// 	return;
// }
 
 
int main() {
	// 入力
	ll N,K;
	cin >> N>>K;
	vector<P> xy;
	for (ll i = 0; i < N; ++i){
		ll x,y;cin>>x>>y;
		xy.pb(make_pair(x,y));
	}
	// REP(i,N) printf("%lld, %lld\n", xy[i].first, xy[i].second);
	
	
 
	// 解法
	vector<ll> x;
	REP(i,N){
		if (i==0) x.pb(xy[i].first);
		else if (xy[i-1].first!=xy[i].first) x.pb(xy[i].first);
	}
	sort(x.begin(),x.end());
	vector<ll> y;
	REP(i,N){
		if (i==0) y.pb(xy[i].second);
		else if (xy[i-1].second!=xy[i].second) y.pb(xy[i].second);
	}
	sort(y.begin(),y.end());
	sort(xy.begin(),xy.end());
	// REP(i,x.size()) printf("%lld, ", x[i]);
	// printf("\n");
	// REP(i,y.size()) printf("%lld, ", y[i]);
	// printf("\n");
	
	ll XY[x.size()+1][y.size()+1];
	REP(i, x.size()+1){
		REP(j, y.size()+1){
			XY[i][j] = 0;
		}
	}	
	
	
	
	
	REP(i, x.size()){
		REP(j, y.size()){
			ll tmp = XY[i+1][j] + XY[i][j+1] - XY[i][j];
			if (xy[0].first==x[i] & xy[0].second==y[j]){
				tmp++;
				xy.erase(xy.begin());
			}
			XY[i+1][j+1] = tmp;
		}
	}
	
	// REP(j, y.size()){
	// 	REP(i, x.size()){
	// 		printf("%lld ", XY[y.size()-j][i+1]);
	// 	}
	// 	printf("\n");
	// }
	
	ll ans = (x[x.size()-1]- x[0])*(y[y.size()-1]-y[0]);
	REP(u, y.size()){
		REP(d, y.size()){
			REP(l, x.size()){
				REP(r, x.size()){
					if (d>=u | l>=r) continue;
					ll area = (x[r] - x[l])*(y[u]-y[d]);
					ll count = XY[r+1][u+1] - XY[r+1][d] - XY[l][u+1] + XY[l][d];
					// printf("%lld, %lld, %lld, %lld, %lld, %lld\n",
					// l,r,d,u,area, count
					// );
					if (count==K & area<ans){
						ans = area;
					}
				}
			}
		}
	}
	printf("%lld\n", ans);	
			
}


Measured memory_bytes: 256