SolverIDDFS: "solution 0/1 mode" fixed after last speedup broke it