Trying unsat core only
Exact using only unsat cores
Group invariants on left side
Missing file