{ x5 = x4 + x3 + x2,
  1*k72*x1 + 1*k72*x2 + 1*k72*x3 + 1*k72*x4 = k72*k73 }