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