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