0 2x y 5 3 (27/48)

0 2x y 5 3