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