TQBF loading ...