#include <bits/stdc++.h>
using namespace std;
const double pi = 3.14159265358979323846;
bool sortbysec(const pair<int, int> &a, const pair<int, int> &b) {
  return (a.second < b.second);
}
int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  long long n, k, x, y;
  cin >> n >> k;
  vector<pair<long long, long long> > s;
  vector<long long> r;
  for (int i = 0; i < n; i++) cin >> x >> y, s.push_back({x, y});
  sort(s.begin(), s.end());
  x = 0;
  y = s[n - 1].second;
  for (int i = n - 1; i > n - k - 1; i--) {
    x += s[i].first;
    y = min(y, s[i].second);
  }
  r.push_back(x * y);
  r.push_back(s[n - 1].first * s[n - 1].second);
  sort(s.begin(), s.end(), sortbysec);
  x = 0;
  y = s[n - 1].second;
  for (int i = n - 1; i > n - k - 1; i--) {
    x += s[i].first;
    y = min(y, s[i].second);
  }
  r.push_back(x * y);
  r.push_back(s[n - 1].first * s[n - 1].second);
  sort(r.begin(), r.end());
  cout << r.back();
  return 0;
}
