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