% SZS status Timeout for mul__not__infty_
