發送短信: Constraint satisfaction problems