TSTP Solution File: HWV134_1 by Refute---2015