SAT Introduction