using dependency, sensitivity, unsat core