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