% SZS status Timeout for GUESSES__NEG__REWRITE_
