{ x8 = 15 - 2*(x1 + x3 + k19) - (x2 + x4 + x5 + k18) }