TSTP Solution File: HWV043_5 by SInE---0.4