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