У Вас на условие подана логическая формула, а не Максимум За.