Zaslat SMS: Tractable Combinations of Global Constraints