Redirecting to Quantified boolean formula problem