{ 1*k18*x5 + 1*k18*x18 + 1*k18*x20 + 1*k18*x22 + 2*k18*x23 = k18*k19 }