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