TSTP Solution File: SWV593_5 by SRASS---0.1