Solve for x 8^x=12143