TSTP Solution File: RNG001-2 by Satallax-MaLeS---1.3