TSTP Solution File: HWV049_6 by SRASS---0.1