Consider the cyclic quadrilateral with side lengths $1$, $4$, $8$, $7$ in that order. What is its circumdiameter? Let the answer be of the form $a\sqrt{b}+c$, where $b$ is square-free. Find $a+b+c$.

Let's think step by step and output the final answer within \boxed{}.
user