CIS1921 - Lecture 3 - Algorithms for SAT