Αποστολή με SMS: Automated Reasoning