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