0 <= x(1+y) <= 100