TSTP Solution File: HWV043_8 by SInE---0.4