% SZS status Timeout for BIGINTER__INSE
