4.6 符号代数方程求解