A Case Study Analysis Of A Mathematical Problem-Solving Program