Envoyer par SMS: Theory and Applications of Satisfiability Testing