Tekstiviesti: Constraint satisfaction problems