TSTP Solution File: HWV113_1 by Refute---2015