TSTP Solution File: SYN986+1.002 by Satallax-MaLeS---1.3