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