SZS status Theorem for i/f/poly/POLY__CMUL__CLAUSES_c1
