12.5-x=7.2 解方程