#include <stdio.h>
int main()
{
   int n,i,j,t,m[101],v[101];
   double a[101],x=0.0,k=0;
   scanf("%d%d",&n,&t);
   for(i=0;i<n;i++)
   {
       scanf("%d%d",&m[i],&v[i]);
       a[i]=v[i]/m[i];
   }
   for(i=0;i<n-1;i++)
    for(j=0;j<n-i-i;j++)
   {
       if(a[j]<a[j+1])
       {
           x=a[j];
           a[j]=a[j+1];
           a[j+1]=x;
       }
   }
   for(i=0;i<n;i++)
   {
       if(t>=m[i])
       {
        k+=v[i];
        t-=m[i];
       }
       else
        {
            k+=t*a[i];
            break;
        }
   }
   printf("%.2lf",k);
   return 0;
}