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