fixing DFA_SAT