Problem 10071 solved