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