#43 dfa