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