import java.io.*;
import java.util.*;
public class PlayList
{
  public static void main(String[] args)throws Exception
  {
    BufferedReader br=new BufferedReader(new InputStreamReader(System.in));
    String s1[]=br.readLine().split(" ");
    int n=Integer.parseInt(s1[0]);
    int k=Integer.parseInt(s1[1]);
    TreeMap<Integer, Integer> t=new TreeMap<Integer, Integer>(Collections.reverseOrder());
    for(int i=0;i<n;i++)
    {
       String s2[]=br.readLine().split(" ");
       Integer s=(Integer)Integer.parseInt(s2[0]);
       Integer b=(Integer)Integer.parseInt(s2[1]);
       t.put(b,s);
    }
    TreeMap<Integer, Integer> x=new TreeMap<Integer, Integer>();
    long sum=0l;
    long res=0l;
    for(Map.Entry<Integer, Integer> entry: t.entrySet())
    {
      Integer a=entry.getKey();
      Integer b=entry.getValue();
      x.put(a,b);
      sum=sum+b;
      while(x.size()>k)
      {
        sum-=x.firstKey();
        x.remove(x.firstKey());
      }
      res=Math.max(res, sum*a);
    }
    System.out.println(res);
  }
}