{ x5 = k6 - x3, x6 = k11 - x1 }