% SZS status Timeout for minimal__
