K_(1,3), b=4, N=13 (symmetry-broken, cadical195) -> UNKNOWN: stopped by hand at 2026-09-30T10:36:58Z after ~51 min wall time (~35 min CPU; the in-process time-limit interrupt did not fire). Not needed for any claim of the paper.
