[ x[8] = 15 - 2*(x[1] + x[3] + k[19]) - (x[2] + x[4] + x[5] + k[18]) ]