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