Solution to Number Crunch Problem 13