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