the SSOR needs the true constraints, with the Dirichlet data; this version performs better than without this fix