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