TSTP Solution File: SWC298+1 by Refute---2015