add option for minimum unsat core computation