TSTP Solution File: SWV661_5 by DCTP---1.31