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