TSTP Solution File: CAT037+3 by DCTP---1.31