Zaslat SMS: Handbook of satisfiability