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