Solve for x log base 2 of x-1=3