56*12.5的简便算法