solution to problem 80