TSTP Solution File: HWV044_8 by Refute---2015