eq2: (2 * x) + y - z = 1