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