Title: Introduction to Mathematics of Satisfiability