Output: [|y-12=0; x-9=0|]