SMS versenden: Finite semigroups imposing tractable constraints