{ 1*k1*x7 + 1*k1*x8 + 1*k1*x10 + 1*k1*x11 = k1*k13 }