Solving QBF Instances with Nested SAT Solvers