#include<bits/stdc++.h>
using namespace std;
typedef pair<double, double> PII;
PII arr[1010];
int idx;
int n, t;
double ans;
int main() {
    cin >> n >> t;
    while (n--) {
        double a, b;
        cin >> a >> b;
        double c = b / a;
        arr[idx++] = { c,a };
    }
    sort(arr, arr + idx);
    for (int i = idx-1; i >=0 ; i--) {
        for (int j = 0; j < arr[i].second; j++) {
            if (t == 0) {
                printf("%.2lf",ans);
                return 0;
            }
            ans += arr[i].first;
            t--;
        }

    }
}

过不了啊，第一个点