TSTP Solution File: HWV044_4 by Refute---2015