{ 1*x1 + 1*x2 + 1*x3 = k11 }