TSTP Solution File: HWV003-3 by Refute---2015