mainPBCs now with PetscSolvers call.