Email Record: Introduction to mathematics of satisfiability /