{ x17 = x1 + x2,
  1*k41*x5 + 1*k41*x14 = k41*k42 }