TSTP Solution File: CAT023+3 by CARINE---0.734