TSTP Solution File: HWV043_3 by SInE---0.4