% SZS status Timeout for IS__FINITE__NONEMP
