# produced by metis
/cnf_0.tptp
