Output: [|y-1=0; x=0|]