TSTP Solution File: SWW037_1 by Refute---2015