x = inf
y = 5