some unsat core infrastructure