[ Eq(25*x14 + 25*x17 + 5*x20 + 25*x22 + 5*x23, k44 + k45) ]