TSTP Solution File: SWV527-1.040 by Satallax-MaLeS---1.3