Solutions of (x-2)+2(log(2^x+3x)/(log 2)) =2^x