#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; #define FOR(I,A,B) for(int I = (A); I < (B); ++I) #define CLR(mat) memset(mat, 0, sizeof(mat)) typedef long long ll; int dp[15005]; // := i+1日めで正解数がjの時の順位の和の最小 int main() { ios::sync_with_stdio(false); cin.tie(0); int N, P; cin >> N >> P; FOR(j,0,15005) dp[j] = 2e9; dp[0] = 0; int a[N], b[N], c[N]; FOR(i,0,N) cin >> a[i] >> b[i] >> c[i]; FOR(i,0,N) { for(int j = P; j >= 0; j--) { // 0問 dp[j] = dp[j] + a[i]; // 1問 if(j-1>=0) dp[j] = min(dp[j], dp[j-1] + b[i]); // 2問 if(j-2>=0) dp[j] = min(dp[j], dp[j-2] + c[i]); // 3問 if(j-3>=0) dp[j] = min(dp[j], dp[j-3] + 1); } } cout << fixed << setprecision(17) << (double)dp[P] / N << endl; return 0; }