files / problems / ramsey-r55 / compute / q4 / logs / p5_c6_k2_kissat.txt
16 B · on GitHub
s UNSATISFIABLE