Getting multiple solutions from the solver