Solver: we could miss some unsat reasons