solver-ginsberg: Improve backtrack
Make sure the selected unassigned variable(s) actually solve the issue (i.e. the estimated number of solutions after unassignment is > 0). See Ginsberg papers.
Make sure the selected unassigned variable(s) actually solve the issue (i.e. the estimated number of solutions after unassignment is > 0). See Ginsberg papers.