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