% SZS status Timeout for COND__CLAUSES_
