TSTP Solution File: HWV120-1 by Refute---2015