TSTP Solution File: SWW041_1 by Refute---2015