Added the ability to get the solution out of depqbf