TSTP Solution File: HWV045_8 by Refute---2015