TSTP Solution File: GRP643+1 by Satallax-MaLeS---1.3