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