TSTP Solution File: SWV352-2 by SRASS---0.1