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