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