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