#include #include #include #include #include #include #include #include #include #include #include using namespace std; typedef long long ll; int main() { int N, P; cin >> N >> P; int A[N]; int B[N]; int C[N]; for (int i = 0; i < N; ++i) { cin >> A[i] >> B[i] >> C[i]; } vector> dp(N + 1, vector(P + 1, INT_MAX)); dp[0][0] = 0; for (int i = 1; i <= N; ++i) { int a = A[i - 1]; int b = B[i - 1]; int c = C[i - 1]; for (int p = 0; p <= P; ++p) { if (dp[i - 1][p] != INT_MAX) { dp[i][p] = min(dp[i][p], dp[i - 1][p] + a); if (p + 1 <= P) { dp[i][p + 1] = min(dp[i][p + 1], dp[i - 1][p] + b); } if (p + 2 <= P) { dp[i][p + 2] = min(dp[i][p + 2], dp[i - 1][p] + c); } if (p + 3 <= P) { dp[i][p + 3] = min(dp[i][p + 3], dp[i - 1][p] + 1); } } } } cout << fixed << setprecision(10) << dp[N][P] * 1.0 / N << endl; return 0; }