fixed a subtle bug with solveTheory implementation in geometrytheory.
fixed a subtle bug with solveTheory implementation in geometrytheory.

sambayless/monosat,sambayless/monosat,sambayless/monosat,sambayless/monosat