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