TSTP Solution File: SWW475+7 by Refute---2015