SureMath - the math software for 21st century problem solving - was used to solve this problem.
The problem solution was developed by Howard C. McAllister using SureMath.