TSTP Solution File: CAT034+2 by DCTP---1.31