Text this: Introduction to mathematics of satisfiability /