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