TSTP Solution File: HWV120_1 by Refute---2015