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