Найдите корень уравнения \(2^x+log_2(x+1)=13-x\).
Если корней несколько, то в ответе укажите их сумму.