// ã€ã‚µãƒ³ãƒ—ルコードã«é–¢ã™ã‚‹æ³¨æ„】
//
// ã“ã®ã‚µãƒ³ãƒ—ルコードã¯ï¼Œæ•´æ•°ã®ã¿ã‚’使用ã—ãŸå®Ÿè£…ã¨ãªã£ã¦ã„ã¾ã™ï¼Žç†ç”±ã¨ã—ã¦ã¯ï¼Œ
// - IOI シラãƒã‚¹ã§ã¯å°æ•°ãŒã‚ã¾ã‚Šå¥½ã¾ã‚Œãªã„ã“ã¨
// - æ•´æ•°ã ã‘ã§ã‚‚è§£ã‘ã‚‹ã®ã§ã‚れã°ï¼Œãれをサンプルコードã«ã—ãŸæ–¹ãŒè‰¯ã„ã¨ã•れã¦ã„ã‚‹ã“ã¨
// ãªã©ãŒæŒ™ã’られã¾ã™ï¼Ž
//
// ãã®ãŸã‚,dp[i][j][k] ã®å€¤ã¯å®Ÿéš›ã®å€¤ã« CONST = 1000000000 を掛ã‘ãŸå€¤ã‚’メモã—ã¦ã„ã¾ã™ï¼Ž
// ãŸã¨ãˆã° dp[i][j][k] = 1450000000 ã®å ´åˆï¼Œå®Ÿéš›ã®å€¤ã¯ãŠã‚ˆã 1.45 ã§ã™ï¼Ž
// ãªãŠï¼Œã“ã®å®Ÿè£…方法ã§ã‚‚,本å•題ã®åˆ¶ç´„を満ãŸã™å…¨ã¦ã®ãƒ†ã‚¹ãƒˆã‚±ãƒ¼ã‚¹ã§ï¼Œæ£è§£ã¨ã®çµ¶å¯¾èª¤å·®ãŒ 0.01 未満ã¨ãªã‚‹ã‚ˆã†ãªè§£ã‚’出力ã™ã‚‹ã“ã¨ãŒè¨¼æ˜Žã§ãã¾ã™ï¼Ž
#include <iostream>
#include <algorithm>
using namespace std;
struct Election {
int a, b;
};
bool operator<(const Election &a1, const Election &a2) {
if (a1.b < a2.b) return true;
if (a1.b > a2.b) return false;
if (a1.a < a2.a) return true;
return false;
}
int N, K;
Election X[509];
long long dp[509][509][509]; // (pos, total votes, cooperator)
long long CONST = 1000000000;
long long solve(int Goal) {
// Initialize [1]
for (int i = 0; i <= N; i++) {
for (int j = 0; j <= min(i, K); j++) {
if (i == j) {
for (int k = 0; k <= min(j, Goal); k++) dp[i][j][k] = (1LL << 60);
}
else {
dp[i][j][Goal] = (1LL << 60);
}
}
}
// Dynamic Programming
dp[0][0][0] = 0;
for (int i = 0; i < N; i++) {
for (int j = max(0, K - N + i); j <= min(i, K); j++) {
if (i == j) {
for (int k = max(0, Goal - N + i); k <= min(j, Goal); k++) {
dp[i + 1][j + 0][k + 0] = min(dp[i + 1][j + 0][k + 0], dp[i][j][k]);
dp[i + 1][j + 1][k + 0] = min(dp[i + 1][j + 1][k + 0], dp[i][j][k] + CONST * X[i + 1].a / (Goal + 1));
dp[i + 1][j + 1][k + 1] = min(dp[i + 1][j + 1][k + 1], dp[i][j][k] + CONST * X[i + 1].b / (k + 1));
}
}
else {
dp[i + 1][j + 0][Goal] = min(dp[i + 1][j + 0][Goal], dp[i][j][Goal]);
dp[i + 1][j + 1][Goal] = min(dp[i + 1][j + 1][Goal], dp[i][j][Goal] + CONST * X[i + 1].a / (Goal + 1));
}
}
}
// Return Value
return dp[N][K][Goal];
}
int main() {
// Step #1. Input
cin >> N;
cin >> K;
for (int i = 1; i <= N; i++) {
cin >> X[i].a >> X[i].b;
if (X[i].b == -1) X[i].b = 1000000;
}
// Step #2. Sorting
sort(X + 1, X + N + 1);
// Step #3. Brute Force
long long Answer = (1LL << 60);
for (int i = 0; i <= K; i++) {
long long ret = solve(i);
Answer = min(Answer, ret);
}
// Step #4. Output
printf("%lld.%09lld\n", Answer / CONST, Answer % CONST);
return 0;
}