已知X1,X2为方程x的平方+3X+1=0的两实根,则X1的平方—3乘X2+20等于多少?