solve((1/2)^(2*x)-12/2^x+32=0)for x real