{ 1*k1*x2 + 1*k1*x8 + 1*k1*x45 = k1*k167,
  1*k1*x3 + 1*k1*x37 = k1*k168,
  1*k2*x4 + 1*k2*x6 + 1*k2*x43 = k2*k169,
  1*k1*x13 + 1*k1*x28 = k1*k170,
  1*k2*x14 + 1*k2*x27 = k2*k171,
  1*k2*x31 + 1*k2*x46 = k2*k172,
  1*k1*x35 + 1*k1*x40 = k1*k173 }