solve {x*log(x+3,7-2*x) >= 0, 19*4^x+4^(-x) <= 20}