A SAT-based solver for Q-ALL SAT