Omit unsat core option to solver if not needed