% SZS status Timeout for GUESS__RULES__COND_
