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