TSTP Solution File: SWC394-1 by Satallax-MaLeS---1.3