TSTP Solution File: RNG033-9 by SRASS---0.1