TSTP Solution File: HWV096_1 by Refute---2015