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