2x y 7 0 x 2 (31/48)

2x y 7 0 x 2