TSTP Solution File: SWW472+7 by Nitpick---2016