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