QBF- En banvaktarefamilj ,utan