solve(cos(2*x)-3*sen(x)+1<0)&(0<=x<2*π)for x real