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