#include <bits/stdc++.h>
using namespace std;
bool sortbysec(const pair<int, int> &l, const pair<int, int> &r) {
  return l.second > r.second;
}
int main() {
  long long int n, k;
  cin >> n >> k;
  vector<pair<int, int>> v(n);
  for (int i = 0; i < n; i++) {
    int a, b;
    cin >> a >> b;
    v.push_back(make_pair(a, b));
  }
  sort(v.begin(), v.end(), sortbysec);
  long long int max = 0;
  for (int i = 0; i < n; i++) {
    long long int sum = 0;
    int c = 0;
    for (int j = 0; j < n; j++) {
      if (v[i].second <= v[j].second) {
        c++;
        sum += v[j].first;
      }
      if (c == k) break;
    }
    long long int res = v[i].second * sum;
    if (res > max) max = res;
  }
  cout << max << endl;
  return 0;
}
