TSTP Solution File: HWV108_1 by Refute---2015