% SZS status Timeout for num__not__infty_
