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