TSTP Solution File: CAT030+2 by CARINE---0.734