TSTP Solution File: SWC406+1 by Nitpick---2016