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