{ 1*x1 + 1*x2 = k4 }