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