Add benchmark to show when unsat core technique might not be suitable