When Clay Mathematics Institute (CMI) to declare the Navier-Stokes problem solved betting