Αποστολή με SMS: Constraint Solving and Planning with Picat