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