#include <iostream>
#include <algorithm>
#include <cstdio>
using namespace std;
#define INF 500000001
int n,p;
int dp[15005];
int main(void){
    scanf("%d%d",&n,&p);
    for(int i=0;i<=p;i++)dp[i]=INF;
    dp[0]=0;
    for(int i=0;i<n;i++){
        int a,b,c;
        scanf("%d%d%d",&a,&b,&c);
        for(int j=p;j>=0;j--){
            dp[j]+=a;
            if(j-1>=0)dp[j]=min(dp[j],dp[j-1]+b);
            if(j-2>=0)dp[j]=min(dp[j],dp[j-2]+c);
            if(j-3>=0)dp[j]=min(dp[j],dp[j-3]+1);
        }
    }
    printf("%lf\n",double(dp[p])/double(n));
}