solve (x^2-4<=0, x^2-3>0)