[ 1*k[12]*x[1] + 1*k[12]*x[6] + 1*k[12]*x[8] + 1*k[12]*x[9] + 1*k[12]*x[10] = k[12]*k[13],
  1*k[12]*x[3] + 1*k[12]*x[4] + 1*k[12]*x[9] = k[12]*k[14],
  1*k[12]*x[6] + 1*k[12]*x[7] + 1*k[12]*x[8] + 1*k[12]*x[9] + 1*k[12]*x[10] = k[12]*k[15] ]