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