/*
なぜか合わない
*/
#include<iostream>
#include<set>
#include<map>
#include<vector>
#include<queue>
#include<algorithm>
#include<tuple>
using namespace std;
typedef long long ll;
const ll INF=1LL<<60;


int main(){
    int N,M;
    cin>>N>>M;
    vector<int> A(N),B(N),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,-INF));

    //0問正解.0回ミスしてOK
    for(int i=0;i<=M;i++){
        dp[0][i]=0;
    }


    for(int S=0;S<(1<<N);S++){
        for(int j=0;j<=M;j++){

            for(int k=0;k<N;k++){
                    if(((S>>k)&1)==1){

                    if(j>0){
                        
                        double p=1.0/P[k];
                          
                        dp[S][j]=max(dp[S][j], (dp[S^(1<<k)][j] + 1.0/B[k])*p + dp[S][j-1]*(1.0-p));
                    }
                    

                    //j==0
                    dp[S][j]=max(dp[S][j],(dp[S^(1<<k)][j]+1.0/A[k]));
                    }
                    
                }
            }
    }

    double ans=dp[(1<<N)-1][M];
   
   printf("%.10f\n",ans);
 

}