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