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