7.8 符号代数方程求解