Unable to dry run this testcase? Try making a new request with small values of n_high, t_high, *_high, etc.
1 11 14 1 5 2 4 2 6 2 11 3 5 3 6 3 7 3 11 5 8 6 8 6 9 6 10 6 11 8 11
YES 6 3 6 6 8 8 5 5 3 3 7 3 11
NO