{ 1*x1 + 1*x2 + 1*x3 + 1*x4 = k13 }