reiter~=0.5
nfa~=3.0
