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