發送短信: A maximal tractable class of soft constraints