方程log1/2(a-2^x)=2+x有解,则a的最小值为( )