% SZS status Timeout for COND__CLAUSES__
