解方程,(17-x)/3=3.5