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