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