TSTP Solution File: ARI685_1 by Satallax-MaLeS---1.3