How do you solve for x?: #log_2(2^(x+3))=15#?