x_5+x_2 = 7