More max iterations, add unsatisfiability