TSTP Solution File: SWV530-1.040 by SRASS---0.1