TSTP Solution File: HWV072-1 by SInE---0.4