Cho hai số thực x, y thay đổi thỏa mãn

Cho hai số thực x, y thay đổi thỏa mãn x+y+1=2x−2+y+3.Giá trị lớn nhất của biểu thức S=3x+y−4+x+y+127−x−y−3x2+y2 là ab với a, b là các số nguyên dương và ab tối giản. Tính a+.