How do you find the square root of 80?