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