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