Inside the SAT