dfa5[3]