解方程x^3-13x-12=0