Zaslat SMS: Integer Programming and Combinatorial Optimization