(ABS(x - 2*y) + ABS(y + 3*x)) < 10, x not equal y