[ x[12] = 472/125*k[1],
  1*k[13]*x[6] + 1*k[13]*x[7] = k[13]*k[14],
  1*k[13]*x[9] + 1*k[13]*x[10] = k[13]*k[15] ]