TSTP Solution File: RNG108+1 by CARINE---0.734