1 22 x2 x y x1 (17/48)

1 22 x2 x y x1