solve (2^x-16)*(log x / log 2 -1)^3/(4^x-3*2^x-4)>=0