函数y=4-3sinx-cos^2(x)的最小值