Αποστολή με SMS: Constraint-Based Reasoning