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