SMS versenden: Constraint-Based Reasoning