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