TSTP Solution File: SWC031-1 by SRASS---0.1