当a^3-a-1=0时,a+2^(1/2)是某个整数多项式的解,求最高次项系数为1(且次数最低)的整系数多项式