TSTP Solution File: HWV047_8 by Refute---2015