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