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