aff=TQBF10