#include <bits/stdc++.h>
using namespace std;
void solve() {
  long long int n, k;
  cin >> n >> k;
  multiset<pair<long long int, long long int> > m;
  vector<pair<long long int, long long int> > v;
  for (long long int i = 1; i < n + 1; i++) {
    long long int x, y;
    cin >> x >> y;
    v.push_back({y, x});
  }
  sort((v).begin(), (v).end());
  reverse((v).begin(), (v).end());
  long long int ans = 0;
  long long int sum = 0;
  long long int t = 1;
  for (long long int i = 0; i < n; i++) {
    sum += v[i].second;
    m.insert({v[i].second, t});
    t++;
    if (m.size() > k) {
      sum -= (*m.begin()).first;
      m.erase(m.begin());
    }
    ans = max(ans, v[i].first * sum);
  }
  cout << ans << '\n';
}
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  int tests = 1;
  while (tests--) {
    solve();
  }
}
