#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; typedef long long ll; typedef pair Pii; #define rep(i, n) for (int i = 0; i < (int)(n); i++) #define FOR(i, a, b) for (int i = (int)a; i <= (int)b; i++) template void checkmin(T &a, T b) { if (b < a) a = b; } template void checkmax(T &a, T b) { if (b > a) a = b; } const int MaxN = 50; const int MaxL = 300 * 60; int N, L; int Sec[MaxN]; ll dp[MaxN + 1][MaxL + 1]; int sumSec[MaxN]; double fact[MaxN + 1]; void solve() { sumSec[0] = 0; rep(i, N) sumSec[i + 1] = Sec[i + 1] + sumSec[i]; fact[0] = 1; FOR(i, 1, N) fact[i] = fact[i - 1] * i; double ans = 0; rep(i, N) { rep(a, N + 1) rep(b, MaxL + 1) dp[a][b] = 0; dp[0][0] = 1; rep(other, N) if (other != i) { for (int used = other; used >= 0; used--) { rep(len, sumSec[N] + 1) { dp[used + 1][len + Sec[other]] += dp[used][len]; } } } double bad = 0; FOR(used, 1, N) FOR(len, L, MaxL) { bad += dp[used][len] * fact[used] * fact[N - used - 1] / fact[N]; } ans += 1 - bad; } cout << ans << endl; } int main() { cin >> N >> L; L *= 60; rep(i, N) { string s; cin >> s; int sec = ((s[0] - '0') * 10 + s[1] - '0') * 60 + (s[3] - '0') * 10 + s[4] - '0'; Sec[i] = sec; } solve(); return 0; }