Fix default SAT algorithm choices