{36^(x-1/2)-7*6^(x-1)+1 >= 0, x*log(4,-x^2-3*x+5) >= 0}