Updated problem 11254.