java solver finds multiple solutions.