#include using namespace std; int main(){ int N, L; cin >> N >> L; L *= 60; vector S(N); vector fact(N + 1); fact[0] = 1; for(int i = 0; i < N; i++){ int m, s; scanf("%d:%d", &m, &s); S[i] = 60 * m + s; fact[i + 1] = (i + 1) * fact[i]; } double ans = 0; array,51>,51> rdp{}; array,51> ldp{}; ldp[0][0] = 1, rdp[N][0][0] = 1; for(int i = 0; i < N; i++){ for(int j = 0; j <= i; j++){ for(int k = 0; k < L; k++){ rdp[N - (i + 1)][j][k] += rdp[N - i][j][k]; if(k + S[N - (i + 1)] < L){ rdp[N - (i + 1)][j + 1][k + S[N - (i + 1)]] += rdp[N - i][j][k]; } } } } for(int i = 0; i < N; i++){ for(int j = i; j >= 0; j--){ for(int k = 0; k < N - i; k++){ double lv = 0, rv = 0; for(int l = 0; l < L; l++){ rv += rdp[i + 1][k][l]; } for(int l = 0; l < L; l++){ ans += ldp[j][l] * rv * fact[j + k] * fact[N - 1 - (j + k)]; rv -= rdp[i + 1][k][L - 1 - l]; } } for(int k = 0; S[i] + k < L; k++){ ldp[j + 1][k + S[i]] += ldp[j][k]; } } } ans /= fact[N]; printf("%.15lf\n", ans); }