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