September gh

you might look at the flags stripped from depqbf