發送短信: Classifying the complexity of constraints using finite algebras