Envoyer par SMS: Automated Deduction - CADE-22