A SAT