TSTP Solution File: GRP011-4 by Satallax-MaLeS---1.3