Я пытаюсь создать ограничение, которое говорит, что если x> = 5, то y <= 2. Я пытался добавить бинарные ограничения, но, похоже, ничего не работает </p>