While x y (47/48)

While x y