xy >= 1 and x + y < 3