已知:关于x的方程3x+a=x-7的解.