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