Change regexp so it does not match unsat