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