TSTP Solution File: SWV424-1.400 by Satallax-MaLeS---1.3