% SZS status Timeout for POLY__ADD__CLAUSES_
