#include <algorithm>
#include <bitset>
#include <cmath>
#include <cstring>
#include <iomanip>
#include <iostream>
#include <map>
#include <numeric>
#include <queue>
#include <regex>
#include <set>
#include <stack>
#include <string>
#include <vector>

const int MOD = 1e9 + 7;
const int iINF = 2147483647;
const long long int llINF = 9223372036854775807;

using namespace std;
using ll = long long int;
using vl = vector<ll>;
using vvl = vector<vector<ll>>;
using vvvl = vector<vector<vector<ll>>>;

typedef pair<ll, ll> pll;
bool paircomp(const pll &a, const pll &b) {
  if (a.first == b.first)
    return a.second < b.second;
  return a.first < b.first;
}
struct multi {
  ll first;
  ll second;
  ll third;
  multi(long double first, long double second, long double third)
      : first(first), second(second), third(third) {}
};
bool multicomp(const multi &a, const multi &b) {
  if (a.first == b.first)
    return a.second < b.second;
  return a.first < b.first;
}
#define REP(i, n) for (ll i = 0; i < (n); i++)
#define RREP(i, n) for (ll i = (n)-1; i >= 0; i--)
#define FOR(i, a, b) for (ll i = (a); i < (b); i++)
#define AUTO(i, m) for (auto &i : m)
#define ALL(a) (a).begin(), (a).end()
#define MAX(vec) *std::max_element(vec.begin(), vec.end())
#define MIN(vec) *std::min_element(vec.begin(), vec.end())
#define ARGMAX(vec)                                                            \
  std::distance(vec.begin(), std::max_element(vec.begin(), vec.end()))
#define ARGMIN(vec)                                                            \
  std::distance(vec.begin(), std::min_element(vec.begin(), vec.end()))
#define REV(T) greater<T>()
#define PQ(T) priority_queue<T, vector<T>, greater<T>>
#define VVL(a, b, c) vector<vector<ll>>(a, vector<ll>(b, c))
#define VVVL(a, b, c, d)                                                       \
  vector<vector<vector<ll>>>(a, vector<vector<ll>>(b, vector<ll>(c, d)))
#define SP(a) setprecision(a)
#define SQRT(a) sqrt((long double)(a))
#define DPOW(a, b) pow((long double)(a), (long double)(b))
#define UNIQUE(vec)                                                            \
  do {                                                                         \
    sort(ALL((vec)));                                                          \
    (vec).erase(std::unique(ALL((vec))), (vec).end());                         \
  } while (0)

ll POW(ll n, ll m) {
  if (m == 0) {
    return 1;
  } else if (m % 2 == 0) {
    ll tmp = POW(n, m / 2);
    return (tmp * tmp);
  } else {
    return (n * POW(n, m - 1));
  }
}

int dx[4] = {1, 0, -1, 0};
int dy[4] = {0, 1, 0, -1};

int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(NULL);
  ll N, K;
  cin >> N >> K;
  vector<pll> P(N);
  REP(i, N) {
    ll x, y;
    cin >> x >> y;
    P[i] = make_pair(x, y);
  }
  ll ans = llINF;
  if (N >= 4) {
    REP(i, N - 3) FOR(j, i + 1, N - 2) FOR(k, j + 1, N - 1) FOR(l, k + 1, N) {
      ll x1 = min(min(P[i].first, P[j].first), min(P[k].first, P[l].first));
      ll x2 = max(max(P[i].first, P[j].first), max(P[k].first, P[l].first));
      ll y1 = min(min(P[i].second, P[j].second), min(P[k].second, P[l].second));
      ll y2 = max(max(P[i].second, P[j].second), max(P[k].second, P[l].second));
      ll count = 0;
      AUTO(p, P) {
        if (p.first >= x1 && p.first <= x2 && p.second >= y1 && p.second <= y2)
          count++;
      }
      if (count >= K)
        ans = min(ans, (x2 - x1) * (y2 - y1));
    }
  }
  if (N >= 3) {
    REP(i, N - 2) FOR(j, i + 1, N - 1) FOR(k, j + 1, N) {
      ll x1 = min(min(P[i].first, P[j].first), P[k].first);
      ll x2 = max(max(P[i].first, P[j].first), P[k].first);
      ll y1 = min(min(P[i].second, P[j].second), P[k].second);
      ll y2 = max(max(P[i].second, P[j].second), P[k].second);
      ll count = 0;
      AUTO(p, P) {
        if (p.first >= x1 && p.first <= x2 && p.second >= y1 && p.second <= y2)
          count++;
      }
      if (count >= K)
        ans = min(ans, (x2 - x1) * (y2 - y1));
    }
  }
  if (N >= 2) {
    REP(i, N - 1) FOR(j, i + 1, N) {
      ll x1 = min(P[i].first, P[j].first);
      ll x2 = max(P[i].first, P[j].first);
      ll y1 = min(P[i].second, P[j].second);
      ll y2 = max(P[i].second, P[j].second);
      ll count = 0;
      AUTO(p, P) {
        if (p.first >= x1 && p.first <= x2 && p.second >= y1 && p.second <= y2)
          count++;
      }
      if (count >= K)
        ans = min(ans, (x2 - x1) * (y2 - y1));
    }
  }
  cout << ans << endl;
  return 0;
}


Measured memory_bytes: 256