TSTP Solution File: NUM926_4 by Satallax-MaLeS---1.3