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

int main(void)
{
    int n,m;
    cin >> n >> m;
    vector<int> a(n);
    vector<int> b(n);
    vector<int> p(n);
    for(int i=0;i<n;++i){
        cin >> a[i] >> b[i] >> p[i];
    }
    vector<vector<double>> dp(1<<n,vector<double>(m+1));
    for(int i=0;i<(1<<n);++i){
        for(int j=0;j<=m;++j){
            for(int k=0;k<n;++k){
                if((i>>k)&1){
                    dp[i][j]=max(dp[i-(1<<k)][j]+1.0/a[k],dp[i][j]);
                }
                if(j){
                    if((i>>k)&1){
                        dp[i][j]=max((dp[i-(1<<k)][j]+1.0/b[k])/p[k]+dp[i][j-1]*(1.0-1.0/p[k]),dp[i][j]);
                    }
                }
            }
        }
    }
    cout << setprecision(15) << dp[(1<<n)-1][m] << endl;
    return 0;
}