X y 6 2x 1 2y (31/48)

X y 6 2x 1 2y