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