TSTP Solution File: HWV123_1 by Refute---2015