TSTP Solution File: HWV130_2 by SRASS---0.1