TSTP Solution File: SWW039_1 by Refute---2015