% SZS status Timeout for MINIMAL__EXIST
