TSTP Solution File: SWV531-1.010 by SRASS---0.1