Envoyer par SMS: Quantified constraints: Algorithms and complexity