Неравенства
X>Y
X+Y=A+B
A+X<Y+B
Запишите все переменные в порядке убывания, например ABXY.