TSTP Solution File: HWV049_6 by SInE---0.4