TSTP Solution File: SWW025_1 by Refute---2015