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