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