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