Vielen Dank, habe das jetzt soweit nachvollziehen können. Nur beim letzten Knoten verstehe ich nicht, warum das Ergebnis nach dem rechten Zweig unzulässig ist. Es muss doch dort heißen x2>=1, oder? Wenn ich das in die Nebenbedingungen einsetze, kann ich nichts unzulässiges finden.