x-12.7=13解方程