{ x12 = 472/125*k1,
  1*k13*x6 + 1*k13*x7 = k13*k14,
  1*k13*x9 + 1*k13*x10 = k13*k15 }