x+56=3x+12这个方程怎么解