TSTP Solution File: RNG032-7 by SRASS---0.1