$\begin{array}{rlr}a^*=\max _{x, y} & x^2+y^2-8 x+7 \\ \text { s.t. } & x^2+y^2 \leq 1 \\ & y \geq 0\end{array}$ Then $a^{\star}$ is
