unsat core infrastructure