Solver shows multiple solutions