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