TSTP Solution File: RNG005-1 by SInE---0.4