x 12是不是解方程