Invia SMS: Characterising Tractable Constraints