SureMath - the math software for 21st century problem solving - was used to solve this problem.
Please comment. Comments are appreciated and contribute very much to developing these pages.