Αποστολή με SMS: Abstraction, Reformulation, and Approximation