TSTP Solution File: HWV041_1 by Refute---2015