解方程4x^2-20[x]+23=0