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