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