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