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