#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 * MaxN + 1]; int sumSec[MaxN]; double fact[MaxN + 1]; void solve() { rep(i, N) sumSec[i] = Sec[i] + (i > 0 ? sumSec[i - 1] : 0); 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, sumSec[N - 1] + 1) dp[a][b] = 0; dp[0][0] = 1; rep(other, N) if (other != i) { for (int used = other; used >= 0; used--) { for (int len = 0; len + Sec[other] <= sumSec[other]; len++) { dp[used + 1][len + Sec[other]] += dp[used][len]; } } } double bad = 0; FOR(used, 1, N - 1) FOR(len, L, sumSec[N - 1]) { 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) { int m, s; scanf("%d:%d", &m, &s); Sec[i] = m * 60 + s; } solve(); return 0; }