¿Declarará el CMI que el problema de Navier-Stokes está resuelto para el ___?