% SZS status Timeout for GUESS__RULES__CONJ_
