Invia SMS: Optimization with disjunctive constraints