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