#include<fstream.h>
ifstream f("energii.in");
ofstream k("energii.out");
int a[1000000][3],g,w;
int main()
{ int i,r=0,c=0,aux;
  f>>g>>w;
  for(i=1;i<=g;i++) f>>a[i][0]>>a[i][1];
  for(i=1;i<=g;i++) a[i][2]=(a[i][0]/a[i][1]);
  for(i=1;i<=g;i++) if(a[i][2]<a[i+1][2]) { aux=a[i+1][2];
					    a[i+1][2]=a[i][2];
					    a[i][2]=aux;
					    aux=a[i+1][1];
					    a[i+1][1]=a[i][1];
					    a[i][1]=aux;
					    aux=a[i+1][0];
					    a[i+1][0]=a[i][0];
					    a[i][0]=aux;
					   }
  i=1;
  while(r<w)
  { r+=a[i][0];
    c+=a[i][1];
    i++;
  }
  k<<c;
  g<<'\n';
}