TSTP Solution File: SET633+3 by Satallax-MaLeS---1.3