TSTP Solution File: RNG025-5 by SInE---0.4