#include<iostream>
#include<cstdio>
using namespace std;

typedef long long ll;
const int MAX=1000000000;

int main(){
    int N,P;
    cin >> N >> P;
    int a[N][4];
    for(int i=0;i<N;i++){
        cin >> a[i][0] >> a[i][1] >> a[i][2];
        a[i][3]=1;
    }
    int dp[2][P+1];
    for(int i=0;i<2;i++){
        for(int j=0;j<=P;j++){
            dp[i][j]=MAX;
        }
    }
    dp[0][0]=0;
    for(int i=0;i<N;i++){
        for(int j=0;j<=P;j++){
            for(int k=0;k<=3;k++){
                if(j+k<=P){
                    dp[1][j+k]=min(dp[0][j]+a[i][k],dp[1][j+k]);
                }
            }
        }
        for(int i=0;i<=P;i++){
            dp[0][i]=dp[1][i];
            dp[1][i]=MAX;
        }
    }
    double ans=dp[0][P]*1.0/N;
    printf("%.6f\n",(double)dp[0][P]/(double)N);
}