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