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