x0 = 2 y2 z3 2