Solved problem 142