TSTP Solution File: COM084_5 by E-Darwin---1.5