Re: [petsc-dev] ex43_3 stokes problem FAIL