[ 2*k[10]*x[1] + 2*k[10]*x[2] + 2*k[10]*x[3] = k[10]*k[12] ]