Starting SAT