SAT and Computer Science Lessons