TSTP Solution File: RNG018-6 by SRASS---0.1