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