解方程12-5x等于6