TSTP Solution File: SWV567-1.014 by Satallax-MaLeS---1.3