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