TSTP Solution File: RNG033-9 by SInE---0.4