{ 1*k1*x1 + 1*k1*x2 + 1*k1*x3 + 1*k1*x5 + 1*k1*x13 = k1*k18 }