TSTP Solution File: HWV041+2 by Refute---2015