SMS versenden: Computing shortest transversals.