Resolve UNSAT problems manually.