TSTP Solution File: SWV571-1.049 by Satallax-MaLeS---1.3