% SZS status Timeout for COMPL__CLAUSES_
