{ 1*k53*x1 + 1*k53*x2 + 1*k53*x6 + 1*k53*x8 + 1*k53*x9 + 1*k53*x10 + 1*k53*x11 + 1*k53*x12 = k53*k54,
  1*k53*x3 + 1*k53*x4 + 1*k53*x5 + 1*k53*x6 + 1*k53*x8 + 1*k53*x9 + 1*k53*x10 + 1*k53*x11 + 1*k53*x12 = k53*k55,
  1*k53*x3 + 1*k53*x6 + 1*k53*x7 + 1*k53*x8 = k53*k56 }