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