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