TSTP Solution File: HWV050_3 by SInE---0.4