TSTP Solution File: SWC117-1 by Nitpick---2016