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