TSTP Solution File: HWV045_3 by Refute---2015