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