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