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