SAT & Applications: Free Intro