n=52 t=306: feasible, implied L=313; phantom [((25, 14, 13), 5), ((22, 15, 15), 1), ((19, 17, 16), 1), ((18, 17, 17), 33)]
   tested (25, 14, 13) (slack 3): split (25,14,13) target 306: U=309; need L1>=16 (37 cands mod transl), L2>=13 (168586 cands); |R|=2 (351 subsets)
   -> exact max 303 < t: KILLED
n=52 t=306: feasible, implied L=2789/9; phantom [((24, 14, 14), 7), ((20, 16, 16), 1), ((19, 17, 16), 1), ((18, 17, 17), 31)]
