More SAT variants