#include <bits/stdc++.h>
using namespace std;
using ll = long long;

int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    int N, P;
    cin >> N >> P;
    vector<int> dp(1, 1 << 30);
    array<int, 4> a {0, 0, 0, 1};
    dp[0] = 0;
    for(int i = 0; i < N; i++){
        cin >> a[0] >> a[1] >> a[2];
        vector<int> ndp(min(3 * (i + 1), P) + 1, 1 << 30);
        for(int i = 0; i < dp.size(); i++){
            for(int j = 0; j <= 3 && j + i < ndp.size(); j++){
                ndp[i + j] = min(ndp[i + j], dp[i] + a[j]);
            }
        }
        swap(dp, ndp);
    }
    cout << fixed << setprecision(15) << double(dp[P]) / N << '\n';
}