solve {2^x+80/2^x >= 21,log(x-1,(x+1)/5) <= 0}