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