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