已知x0，y0，z0是方程组的一组解，且y0是x0，z0的算术平均值，则满足条件的a的值( )。