TSTP Solution File: RNG111+4 by CARINE---0.734