TSTP Solution File: ITP246^4 by Satallax-MaLeS---1.3