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