Q. is satisfied when satisfies

 12633  266 Linear Inequalities Report Error

Solution:

We have, or
or or
and or and
and or and