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