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