SMS versenden: Cutting planes in combinatorics