#include using namespace std; const int INF = 100; int main(){ cout << fixed << setprecision(10); int N, K; cin >> N >> K; vector P(N), s(N), t(N); for (int i = 0; i < N; i++){ cin >> P[i] >> s[i] >> t[i]; } int ss = 0, st = 0; for (int i = 0; i < N; i++){ ss += s[i]; st += t[i]; } if (st > 60){ cout << -1 << endl; } else { vector pr(N + 1); pr[0] = 1; for (int i = 0; i < N; i++){ pr[i + 1] = pr[i] * (P[i] + 1); } vector dpmn(pr[N], INF); vector dpmx(pr[N], 0); vector dpe(pr[N], 0); for (int i = pr[N] - 1; i >= 0; i--){ int x = i; vector A(N); for (int j = 0; j < N; j++){ A[j] = x % (P[j] + 1); x /= P[j] + 1; } for (int j = 0; j < (1 << N); j++){ int sum = 0; int i2 = 0; double p = 1; for (int k = 0; k < N; k++){ if ((j >> k & 1) == 0){ if (A[k] <= K){ p = 0; break; } else { sum += t[k]; i2 += A[k] * pr[k]; p *= A[k] - K; p /= P[k] - K; } } if ((j >> k & 1) == 1){ if (A[k] == P[k]){ p = 0; break; } else { sum += s[k]; i2 += (A[k] + 1) * pr[k]; p *= P[k] - max(A[k], K); p /= P[k] - K; } } } if (p != 0){ if (sum <= 60){ dpmn[i] = min(dpmn[i], 1); dpmx[i] = max(dpmx[i], 1); dpe[i] += p; } else { dpmn[i] = min(dpmn[i], dpmn[i2] + 1); dpmx[i] = max(dpmx[i], dpmx[i2] + 1); dpe[i] += (dpe[i2] + 1) * p; } } } } cout << dpmn[0] << ' ' << dpmx[0] << ' ' << dpe[0] << endl; } }