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