Invia SMS: Optimierung Linearer systeme mit zusätzlichen Disjunktivitätsbedingugen