Invia SMS: The complexity of constraint languages