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