Αποστολή με SMS: Constraint Solving and Language Processing