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