Quantified Boolean formula problem