#include namespace { #pragma GCC diagnostic push #pragma GCC diagnostic ignored "-Wunused-function" #include #pragma GCC diagnostic pop using namespace std; using namespace atcoder; #define rep(i,n) for(int i = 0; i < (int)(n); i++) #define rrep(i,n) for(int i = (int)(n) - 1; i >= 0; i--) #define all(x) begin(x), end(x) #define rall(x) rbegin(x), rend(x) template bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; } else return false; } template bool chmin(T& a, const T& b) { if (b < a) { a = b; return true; } else return false; } using ll = long long; using P = pair; using VI = vector; using VVI = vector; using VL = vector; using VVL = vector; double dp[5 * 5 * 5 * 5 * 5 * 5]; int dp_mx[5 * 5 * 5 * 5 * 5 * 5]; } int main() { ios::sync_with_stdio(false); cin.tie(0); int n, k; cin >> n >> k; VI p(n), s(n), t(n); rep(i, n) cin >> p[i] >> s[i] >> t[i]; if (accumulate(all(s), 0) <= 60) { cout << "1 1 1\n"; return 0; } if (accumulate(all(t), 0) > 60) { cout << "-1\n"; return 0; } VI b(n); rep(i, n) b[i] = p[i] - k + 1; VI state(n); vector> trans; auto dfs = [&](auto self, int i, int idx1) -> void { if (i == n) { trans.clear(); int tot = 0; double acc = 0; int mx = 0; auto dfs = [&](auto self, int i, int idx2, int time, int cnt) -> void { if (!cnt) return; if (i == n) { tot += cnt; acc += (time <= 60 ? 0 : dp[idx2]) * cnt; chmax(mx, time <= 60 ? 0 : dp_mx[idx2]); return; } idx2 *= b[i]; self(self, i + 1, idx2 + state[i], time + t[i], cnt * (b[i] - 1 - state[i])); self(self, i + 1, idx2 + state[i] - 1, time + s[i], cnt * state[i]); }; dfs(dfs, 0, 0, 0, 1); dp[idx1] = 1 + acc / tot; dp_mx[idx1] = 1 + mx; return; } idx1 *= b[i]; for(int x = 0; x < b[i]; x++) { state[i] = x; self(self, i + 1, idx1 + x); } }; dfs(dfs, 0, 0); int idx = 0; rep(i, n) idx = idx * b[i] + b[i] - 1; cout << fixed << setprecision(12) << k + 2 << ' ' << dp_mx[idx] + k << ' ' << dp[idx] + k << '\n'; }