#include <bits/stdc++.h>
using namespace std;
double solve(int n, int k, vector<pair<int, int>> &a, int totalB) {
vector<vector<double>> dp(n + 1, vector<double>(n + 1, 1e9));
dp[0][0] = 0;
for (int i = 1; i <= n; i++) {
for (int As = 0; As <= min(i - 1, k - totalB); As++) {
int Bs = min(totalB, i - 1 - As);
if (As < k - totalB) {
double d = a[i].first;
dp[i][As + 1] = min(dp[i][As + 1], dp[i - 1][As] + d / (totalB + 1));
}
if (Bs < totalB) {
double d = a[i].second;
dp[i][As] = min(dp[i][As], dp[i - 1][As] + d / (Bs + 1));
}
else {
dp[i][As] = min(dp[i][As], dp[i - 1][As]);
}
}
}
return dp[n][k - totalB];
}
int main() {
ios::sync_with_stdio(false);
int n, k;
cin >> n >> k;
vector<pair<int, int>> a(n + 1, {0, 0});
for (int i = 1; i <= n; i++) {
cin >> a[i].second >> a[i].first;
if (a[i].first == -1) a[i].first = 1e9;
}
sort(a.begin(), a.end());
for (int i = 1; i <= n; i++) {
swap(a[i].first, a[i].second);
}
double ans = 1e9;
int bot = 0, top = k;
while (bot + 2 < top) {
int m1 = (bot * 2 + top) / 3;
int m2 = (bot + top * 2) / 3;
double ans1 = solve(n, k, a, m1);
double ans2 = solve(n, k, a, m2);
ans = min(ans, min(ans1, ans2));
if (ans1 > ans2) bot = m1;
else top = m2;
}
cout << setprecision(10) << ans << endl;
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7Cgpkb3VibGUgc29sdmUoaW50IG4sIGludCBrLCB2ZWN0b3I8cGFpcjxpbnQsIGludD4+ICZhLCBpbnQgdG90YWxCKSB7CiAgICB2ZWN0b3I8dmVjdG9yPGRvdWJsZT4+IGRwKG4gKyAxLCB2ZWN0b3I8ZG91YmxlPihuICsgMSwgMWU5KSk7CiAgICBkcFswXVswXSA9IDA7CiAgICBmb3IgKGludCBpID0gMTsgaSA8PSBuOyBpKyspIHsKICAgICAgICBmb3IgKGludCBBcyA9IDA7IEFzIDw9IG1pbihpIC0gMSwgayAtIHRvdGFsQik7IEFzKyspIHsKICAgICAgICAgICAgaW50IEJzID0gbWluKHRvdGFsQiwgaSAtIDEgLSBBcyk7CiAgICAgICAgICAgIGlmIChBcyA8IGsgLSB0b3RhbEIpIHsKICAgICAgICAgICAgICAgIGRvdWJsZSBkID0gYVtpXS5maXJzdDsKICAgICAgICAgICAgICAgIGRwW2ldW0FzICsgMV0gPSBtaW4oZHBbaV1bQXMgKyAxXSwgZHBbaSAtIDFdW0FzXSArIGQgLyAodG90YWxCICsgMSkpOwogICAgICAgICAgICB9CiAgICAgICAgICAgIGlmIChCcyA8IHRvdGFsQikgewogICAgICAgICAgICAgICAgZG91YmxlIGQgPSBhW2ldLnNlY29uZDsKICAgICAgICAgICAgICAgIGRwW2ldW0FzXSA9IG1pbihkcFtpXVtBc10sIGRwW2kgLSAxXVtBc10gKyBkIC8gKEJzICsgMSkpOwogICAgICAgICAgICB9CiAgICAgICAgICAgIGVsc2UgewogICAgICAgICAgICAgICAgZHBbaV1bQXNdID0gbWluKGRwW2ldW0FzXSwgZHBbaSAtIDFdW0FzXSk7CiAgICAgICAgICAgIH0KICAgICAgICB9CiAgICB9CiAgICByZXR1cm4gZHBbbl1bayAtIHRvdGFsQl07Cn0KCmludCBtYWluKCkgewogICAgaW9zOjpzeW5jX3dpdGhfc3RkaW8oZmFsc2UpOwogICAgaW50IG4sIGs7CiAgICBjaW4gPj4gbiA+PiBrOwogICAgdmVjdG9yPHBhaXI8aW50LCBpbnQ+PiBhKG4gKyAxLCB7MCwgMH0pOwogICAgZm9yIChpbnQgaSA9IDE7IGkgPD0gbjsgaSsrKSB7CiAgICAgICAgY2luID4+IGFbaV0uc2Vjb25kID4+IGFbaV0uZmlyc3Q7CiAgICAgICAgaWYgKGFbaV0uZmlyc3QgPT0gLTEpIGFbaV0uZmlyc3QgPSAxZTk7CiAgICB9CiAgICBzb3J0KGEuYmVnaW4oKSwgYS5lbmQoKSk7CiAgICBmb3IgKGludCBpID0gMTsgaSA8PSBuOyBpKyspIHsKICAgICAgICBzd2FwKGFbaV0uZmlyc3QsIGFbaV0uc2Vjb25kKTsKICAgIH0KICAgIGRvdWJsZSBhbnMgPSAxZTk7CiAgICBpbnQgYm90ID0gMCwgdG9wID0gazsKICAgIHdoaWxlIChib3QgKyAyIDwgdG9wKSB7CiAgICAgICAgaW50IG0xID0gKGJvdCAqIDIgKyB0b3ApIC8gMzsKICAgICAgICBpbnQgbTIgPSAoYm90ICsgdG9wICogMikgLyAzOwogICAgICAgIGRvdWJsZSBhbnMxID0gc29sdmUobiwgaywgYSwgbTEpOwogICAgICAgIGRvdWJsZSBhbnMyID0gc29sdmUobiwgaywgYSwgbTIpOwogICAgICAgIGFucyA9IG1pbihhbnMsIG1pbihhbnMxLCBhbnMyKSk7CiAgICAgICAgaWYgKGFuczEgPiBhbnMyKSBib3QgPSBtMTsKICAgICAgICBlbHNlIHRvcCA9IG0yOwogICAgfQogICAgY291dCA8PCBzZXRwcmVjaXNpb24oMTApIDw8IGFucyA8PCBlbmRsOwogICAgcmV0dXJuIDA7Cn0=