TSTP Solution File: SWB003+3 by Refute---2015