TSTP Solution File: HWV117_2 by SRASS---0.1