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