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