#include <bits/stdc++.h> #define rep(i, n) for (int i=0; i<(int)(n); i++) #define all(v) v.begin(), v.end() #define PRINT(v) for (auto x : (v)) cout <<x <<" " ; cout <<endl; using namespace std; using ll = long long; using Graph = vector<vector<int>>; using mat = vector<vector<ll>>; const ll MOD = 1000000007; const ll INF = 10000000000000000; const int inf = 1001001001; vector<int> x4 = {0, 1, 0, -1}, x8 = {0, 1, 1, 1, 0, -1, -1, -1}; vector<int> y4 = {1, 0, -1, 0}, y8 = {1, 1, 0, -1, -1, -1, 0, 1}; template<class T> inline bool chmin(T& a, T b){if (a>b){a = b; return true;}return false;} template<class T> inline bool chmax(T& a, T b){if (a<b){a = b; return true;}return false;} template<class T> inline T powerM(T a,T b){if (b==0) return 1; T tmp = powerM(a,b/2); if (b%2==0) return tmp*tmp%MOD; else return tmp*tmp%MOD*a%MOD; } template<class T> inline T power(T a,T b,T m){ if (b==0) return 1; T tmp = power(a,b/2,m); if (b%2==0) return tmp*tmp%m; else return tmp*tmp%m*a%m; } template<class T> inline T gcd(T a, T b){if (b==0) return a; return gcd(b, a%b);} template<class T> inline T lcm(T a, T b){return a / gcd(a,b) * b;} // ax+by=gcd(a,b)を解く template<class T> inline T extgcd(T a,T b,T &x,T &y){if (b==0){x=1; y=0; return a;} T d=extgcd(b,a%b,y,x); y -= a/b*x; return d;} void hey(){ cout <<"hey" <<endl; } template<class T> struct edge { int to; T cost;}; int main() { int N,M; cin >>N >>M; vector<int> a(N),b(N),c(N); rep(i, N) cin >>a[i] >>b[i] >>c[i]; vector<vector<int>> dp(N+1, vector<int>(M+1, inf)); // dp[i][j] := i番目の問題まででj門解いた時の、順位の合計の最小値 dp[0][0] = 0; for (int i=0; i<N; i++){ for (int j=0; j<=M; j++){ chmin(dp[i+1][j], dp[i][j] + a[i]); if (j+1 <= M) chmin(dp[i+1][j+1], dp[i][j] + b[i]); if (j+2 <= M) chmin(dp[i+1][j+2], dp[i][j] + c[i]); if (j+3 <= M) chmin(dp[i+1][j+3], dp[i][j] + 1); } } double res = dp[N][M] / (double)N; cout <<res <<endl; }