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