发送短信: Constraint satisfaction problems