To SAT