quantified Boolean formula problem