TSTP Solution File: HWV046_3 by Refute---2015