solver for constrained gauss-seidel, and an unconstrained test case for it