TSTP Solution File: SWV755-1 by Satallax-MaLeS---1.3