Αποστολή με SMS: Automated deduction - CADE-12