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