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