7 1 2x 0 3y (23/48)

7 1 2x 0 3y