Problem

Find the value of

$$\int_6^7 \frac{1}{\sqrt{(x - 5)^2 - 1}}\,\mathrm{d}x,$$

giving your answer in the form $\ln(a + \sqrt{b})$, where $a$ and $b$ are integers to be determined.