#include #define GET_MACRO(a, b, c, NAME, ...) NAME #define rep(...) GET_MACRO(__VA_ARGS__, rep3, rep2)(__VA_ARGS__) #define rep2(i, a) rep3 (i, 0, a) #define rep3(i, a, b) for (int i = (a); i < (b); i++) #define repr(...) GET_MACRO(__VA_ARGS__, repr3, repr2)(__VA_ARGS__) #define repr2(i, a) repr3 (i, 0, a) #define repr3(i, a, b) for (int i = (b) - 1; i >= (a); i--) #define chmin(a, b) ((b) < a && (a = (b), true)) #define chmax(a, b) (a < (b) && (a = (b), true)) using namespace std; typedef long long ll; double fact[100]; double dp[55][20202], dp2[55][20202]; int main() { fact[0] = 1; rep (i, 1, 100) fact[i] = i * fact[i - 1]; int N, L; cin >> N >> L; vector a(N); L *= 60; int sum = 0; rep (i, N) { string s; cin >> s; int minute = (s[0] - '0') * 10 + (s[1] - '0'); int second = (s[3] - '0') * 10 + (s[4] - '0'); a[i] = minute * 60 + second; sum += a[i]; } if (sum < L) { cout << N << endl; return 0; } dp[0][0] = 1; rep (i, N) repr (j, 1, N) repr (k, a[i], 20202) { // dp[i + 1][j][k] = dp[i][j][k] + dp[i][j - 1][k - a[i]] dp[j][k] += dp[j - 1][k - a[i]]; } double ans = 0; rep (i, N) rep (j, N + 1) rep (k, L) { // dp[n - 1][j][k] = dp[n][j][k] - dp[n - 1][j - 1][k - a[i]] dp2[j][k] = dp[j][k]; if (j - 1 >= 0 && k - a[i] >= 0) dp2[j][k] -= dp2[j - 1][k - a[i]]; ans += dp2[j][k] * fact[j] * fact[N - (j + 1)]; } ans /= fact[N]; printf("%.20f\n", ans); return 0; }