#include <bits/stdc++.h>
using namespace std;
void optimise() {
  ios_base::sync_with_stdio(false);
  cin.tie(NULL);
}
long long int mod = 998244353;
void normalize(long long int &a) { a = (a + mod) % mod; }
long long int modmul(long long int a, long long int b) {
  a = a % mod;
  b = b % mod;
  normalize(a);
  normalize(b);
  return (a * b) % mod;
}
long long int modadd(long long int a, long long int b) {
  a = a % mod;
  b = b % mod;
  normalize(a);
  normalize(b);
  return (a + b) % mod;
}
long long int modsub(long long int a, long long int b) {
  a = a % mod;
  b = b % mod;
  normalize(a);
  normalize(b);
  return (a - b + mod) % mod;
}
long long int me(long long int x, long long int n) {
  x %= mod;
  if (n == 0) return 1;
  long long int u = me(x, n / 2) % mod;
  u = (u * u) % mod;
  if (n % 2) u = (u * x) % mod;
  return u;
}
long long int me1(long long int x, long long int n) {
  if (n == 0) return 1;
  long long int u = me1(x, n / 2);
  u = u * u;
  if (n % 2) u = u * x;
  return u;
}
inline long long int modInv(long long int a) { return me(a, mod - 2); }
inline long long int modDiv(long long int a, long long int b) {
  return modmul(a, modInv(b));
}
long long int __gcd(long long int a, long long int b) {
  if (b == 0)
    return a;
  else
    return __gcd(b, a % b);
}
void solve() {
  long long int n, k;
  cin >> n >> k;
  long long int sum = 0;
  vector<pair<long long int, long long int> > p(n);
  for (long long int i = 0; i < n; i++) {
    cin >> p[i].second >> p[i].first;
  }
  sort(p.begin(), p.end());
  multiset<long long int> s;
  long long int ans = 0;
  long long int i = 0;
  for (i = n - 1; i >= 0; i--) {
    ans = max(ans, 1LL * (sum + p[i].second) * p[i].first);
    if (s.size() < k - 1) {
      s.insert(p[i].second);
      sum += p[i].second;
    } else {
      if (!s.empty() && p[i].second > *s.begin()) {
        sum -= *s.begin();
        s.erase(s.begin());
        sum += p[i].second;
        s.insert(p[i].second);
      }
    }
  }
  cout << ans;
}
signed main() {
  optimise();
  long long int t;
  t = 1;
  cout << fixed << setprecision(5);
  while (t--) {
    solve();
    cout << "\n";
  }
}
