% SZS status Timeout for WORD__AND__CLAUSES_
