% SZS status Timeout for INT__MUL__EQ_
