Unable to dry run this testcase?
Try making a new request with small values of n_high, t_high, *_high, etc.
No counterexample found. Constraints chosen were too small. Increase some/all value of parameters ending with _high and make a new request.
Unavailable
Unavailable
Unavailable | Unavailable |