{ 2*k2*x2 + 1*k2*x8 + 1*k2*x10 + 2*k2*x11 + 1*k2*x15 + 1*k2*x22 + 1*k2*x23 + 1*k2*x24 + 1*k2*x27 = k2*k93,
  1*k2*x2 + 1*k2*x24 + 1*k2*x26 = k2*k94,
  1*k1*x3 + 1*k1*x12 + 1*k1*x20 = k1*k95,
  1*k1*x5 + 1*k1*x7 = k1*k96,
  1*k2*x9 + 1*k2*x31 = k2*k97 }