Inside the SAT System