Solved problem 80