若函数f(x)=x^3-ax^2(a>0)在区间(20/3,正无穷大)上是单调增函数,求使方程f(x)=1000有整数解