#include<iostream.h>
#include<conio.h>
float a[50][3],g,w;
void main()
{ int r=0,c=0;
  int i;
  float aux;
  cin>>g>>w;
  for(i=1;i<=g;i++) cin>>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++;
  }
  cout<<c;
  getch();
}