#include<bits/stdc++.h>
#include<algorithm>
using namespace std;
double a[105],b[105],c[105],s;
int x,t,n;
int main()
{
	cin>>n>>t;
	for(int i=1;i<=n;i++)
	{
		cin>>a[i];cin>>b[i];
		c[i]=b[i]/a[i];
	}
	for(int i=1;i<=n;i++)
	{
		for(int j=1;j<=n;j++)
		{
			if(c[j]<c[j+1]);
			{
				swap(a[j],a[j+1]);
				swap(b[j],b[j+1]);
				swap(c[j],c[j+1]);
			}
		}
	}
	while(t>0)
	{
		x++;
		if(t>a[x])
		{
			s+=b[x];
			t-=a[x];
		}
		else
		{
			s+=t*c[x];
			break;
		}
	}
	printf("%.2f",s);
}