TSTP Solution File: RNG017-6 by SInE---0.4