Zaslať SMS: Cutting planes in combinatorics