56 12=y解方程