Pošljite SMS: Constraint satisfaction problems