a: 0.5
eq1: (((3 * a) - 1) * x^(2)) + ((1 - a) * y^(2)) + (((2 * a) * x) * z) + (2 * z) - (4 * a) = 0