solve {3^x+10*3^(3-x) >= 37, log(2*x-3,10-3*x) >= 0} over the reals