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