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