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