SZS status Theorem for i/f/poly/POLY__NEG__CLAUSES_c0
