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