{ 25*x14 + 25*x17 + 5*x20 + 25*x22 + 5*x23 = k44 + k45 }