TSTP Solution File: HWV094_1 by Refute---2015