Zaslat SMS: Tractable valued constraints