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