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