fix dpll-all-SAT. it's however too slow to be practical.