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