Re: [petsc-dev] Problem with DMKSP/DMSNES and GMG