TSTP Solution File: HWV105+1 by Refute---2015