% SZS status Timeout for minimal__uni
