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