aff=FLEQBF