Solved problem 133