KS 2 SAT