TSTP Solution File: HWV126_1 by Refute---2015