TSTP Solution File: CAT034+3 by Nitpick---2016