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