//#define _GLIBCXX_DEBUG #include #define rep(i, n) for(int i=0; i; using vs = vector; using vi = vector; using vvi = vector; template using PQ = priority_queue; template using PQG = priority_queue, greater >; const int INF = 100010001; const ll LINF = (ll)INF*INF*10; template inline bool chmax(T1 &a, T2 b) {return a < b && (a = b, true);} template inline bool chmin(T1 &a, T2 b) {return a > b && (a = b, true);} template istream &operator>>(istream &is, pair &p) { return is >> p.first >> p.second;} template ostream &operator<<(ostream &os, const pair &p) { return os << p.first << ' ' << p.second;} const int N = 5010; const int Z = N*3; //head int n, p; int place[N][4]; int dp[Z]; int main() { ios::sync_with_stdio(false); cin.tie(0); cin >> n >> p; rep(i, n) { int a, b, c; cin >> a >> b >> c; place[i][0] = a; place[i][1] = b; place[i][2] = c; place[i][3] = 1; } fill(dp+1, dp+p+1, 0x7f0fffff); rep(i, n) { for(int j = p; j >= 0; j--) { dp[j] += place[i][0]; rep(k, min(3, j)) chmin(dp[j], dp[j-k-1]+place[i][k+1]); } } cout << fixed << setprecision(20) << (ld)dp[p]/n << endl; }