While x y (9/48)

While x y