Zaslat SMS: Constraint satisfaction problems