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