Poprawki modelu 1

Zmiany kosmetyczne, żeby lp-solve odpalił
Dodanie warunków modelu 1

Dodanie warunków na binarność i całkowitość zmiennych.