#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
#include <atcoder/modint>
using namespace std;
using i32 = int;
using u32 = unsigned int;
using i64 = long long;
using u64 = unsigned long long;
#define rep(i,n) for(int i=0; i<(int)(n); i++)
const i64 INF = 1001001001001001001;

using Modint = atcoder::static_modint<998244353>;


int main(){
    int N, M; cin >> N >> M;
    vector<int> A(N), B(N), C(N);
    rep(i,N) cin >> A[i] >> B[i] >> C[i];
    vector<double> dp(1<<N, -1e100);
    dp[0] = 0.0;
    rep(t,M+1){
        vector<double> tmp = dp;
        rep(i,1<<N) rep(d,N) if(i&(1<<d)){
            double q = 1.0 / A[d] + tmp[i-(1<<d)];
            tmp[i] = max(tmp[i], q);
            double r = ((1.0 / B[d] + tmp[i-(1<<d)]) + (dp[i] * (C[d]-1))) / C[d];
            tmp[i] = max(tmp[i], r);
        }
        swap(dp, tmp);
    }
    cout.precision(10);
    fixed(cout);
    cout << dp.back() << endl;
    return 0;
}


struct ios_do_not_sync{
    ios_do_not_sync(){
        ios::sync_with_stdio(false);
        cin.tie(nullptr);
    }
} ios_do_not_sync_instance;