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