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