TSTP Solution File: RNG025-8 by SRASS---0.1