2. SAT