TSTP Solution File: HWV006-2 by Refute---2015