2x 1 y 3 0 (27/48)

2x 1 y 3 0