TSTP Solution File: CAT005-3 by Nitpick---2016