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