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