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