Fix benchmark #define
Experiment with unsat cores