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