Change regexp so that it does not match unsat