解方程 5x+7(12-x)=80