TSTP Solution File: HWV068+1 by Refute---2015