{4^x<=9*2^x+22, Log[3,x^2-x-2]<=1+Log[3,(x+1)/(x-2)]}