SAT Lectures