Fix the solver, it does not backtrack on empty clauses.
