Solve for a square root of a^2=17