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