% SZS status Timeout for GUESS__RULES__ELIM__UNIT_
