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