#include<stdio.h>
int main()
{
int n,t,a[105],b[105],d[105];
double c[105],temp,sum=0;
scanf("%d %d",&n,&t);
for(int i=0;i<n;i++)
{
    scanf("%d %d",&a[i],&b[i]);
    c[i]=b[i]*1.00000000/a[i];
}
for(int i=0;i<n;i++)
{
    d[i]=i;
}
for(int i=1;i<n;i++)
{
    for(int j=1;j<n;j++)
    {
        if(c[d[i-1]]<c[d[i]])
        {
            temp=d[i-1];
            d[i-1]=d[i];
            d[i]=temp;
        }
    }
}
for(int i=0;i<n;i++)
{
    if(t>=a[d[i]])
    {
        t-=a[d[i]];
        sum+=b[d[i]];
    }
    else if(t<a[d[i]])
    {
        sum+=(double)b[d[i]]*t*1.000000/a[d[i]];
        break;
    }
}
printf("%.2lf",sum);
   return 0;
}