TSTP Solution File: SWC297-1 by Refute---2015