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