{ 1*k18*x1 + 1*k18*x2 + 1*k18*x4 + 1*k18*x5 = k18*k19 }