#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, k;
  cin >> n >> k;
  vector<pair<int, int>> a;
  for (int i = 0, t, b; i < n; i++) {
    cin >> t >> b;
    a.emplace_back(b, t);
  }
  sort(a.begin(), a.end());
  long long ans = 0, cur = 0;
  multiset<int> st;
  for (int i = n - 1; i >= 0; i--) {
    cur += a[i].second;
    st.insert(a[i].second);
    if (st.size() > k) {
      int val = *(st.begin());
      cur -= val;
      st.erase(st.begin());
    }
    ans = max(ans, 1ll * a[i].first * cur);
  }
  cout << ans << endl;
  return 0;
}
