TSTP Solution File: HWV039_1 by Refute---2015