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