{ x1 = k30 - x2,
  x5 = k31 - x6,
  x8 = k29,
  x9 = k32 - x10,
  x18 = x3 + x4 + x7 }