TSTP Solution File: COL042-9 by Nitpick---2016