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