//実験コード
#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<int>> memo(1<<n,vector<int>(m+1,0));
  vector<vector<double>> dp(1<<n,vector<double>(m+1,0));
    for(int i=0;i<(1<<n);++i){
        for(int j=0;j<=m;++j){
            for(int k=0;k<n;++k){
              if(j==0){
                if((i>>k)&1){
                  if(dp[i-(1<<k)][j]+1.0/a[k]>=dp[i][j]){
                    memo[i][j]=k;
                  }
                    dp[i][j]=max(dp[i-(1<<k)][j]+1.0/a[k],dp[i][j]);
                }
              }
                if(j){
                    if((i>>k)&1){
                      if((dp[i-(1<<k)][j]+1.0/b[k])/p[k]+dp[i][j-1]*(1.0-1.0/p[k])>=dp[i][j]){
                        memo[i][j]=k;
                      }
                        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;
}