{ x16 = 453/200*k1, 1*k19*x6 + 1*k19*x7 = k19*k20, 1*k19*x9 + 1*k19*x10 = k19*k21, 1*k19*x12 + 1*k19*x13 = k19*k22 }